Vol-2459⫷ Vol-2460 ⫸Vol-2461
urn:nbn:de:0074-2460-6

Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0) .




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 |