SC-square 2019
Satisfiability Checking and Symbolic Computation 2019

Proceedings of the 4th SC-Square Workshop
co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019)

Bern, Switzerland, 10th July 2019.

Edited by

John Abbott *
Alberto Griggio **

* Faculty of Computer Science and Mathematics, University of Passau, Passau, Germany
** Embedded Systems Unit, Fondazione Bruno Kessler, Trento, Italy

Table of Contents

Part 1: Invited Talk

Part 2: contributed papers

Part 3: extended abstracts

Complete proceedings in one ZIP file

2019-10-01: submitted by John Abbott and Alberto Griggio metadata incl. bibliographic data published under Creative Commons CC0
2019-10-04: published on CEUR-WS.org |valid HTML5|