Vol-2189
urn:nbn:de:0074-2189-9



SC-Square 2018
Satisfiability Checking and Symbolic Computation


Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation
co-located with Federated Logic Conference (FLOC 2018)

Oxford, UK, July 11, 2018.


Edited by

Anna M. Bigatti *
Martin Brain **

* Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy
** Department of Computer Science, University of Oxford, Oxford, UK




Table of Contents

1 - Invited Talk

2 - Research Papers

3 - Extended Abstracts


Complete proceedings in one ZIP file


2018-08-29: submitted by Anna M. Bigatti, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-31: published on CEUR-WS.org |valid HTML5|