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|