Vol-1974
urn:nbn:de:0074-1974-4

Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

SC-Square 2017
Satisfiability Checking and Symbolic Computation

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation
co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017)

Kaiserslautern, Germany, July 29, 2017.

Edited by

Matthew England, Coventry University, U.K.
Vijay Ganesh, University of Waterloo, Canada

Table of Contents

Preface
Matthew England, Vijay Ganesh

Full Papers

On Conversions from CNF to ANF
Jan Horacek, Martin Kreuzer
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving
Tarik Viehmann, Gereon Kremer, Erika Ábrahám
Benchmarking Solvers, SAT-style
Martin Brain, James H. Davenport, Alberto Griggio

Extended Abstracts

Computing the Integer Points of a Polyhedron
Rui-Juan Jing, Marc Moreno Maza
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework
Erika Abraham, Jasper Nalbach, Gereon Kremer
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square
John Abbott, Anna Maria Bigatti
Integration of SMT-LIB Support into Maple
Stephen Forrest

Invited Post-Workshop Contribution

Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis
Deepak Kapur

2017-10-26: submitted by Matthew England, metadata incl. bibliographic data published under Creative Commons CC0
2017-10-29: published on CEUR-WS.org |valid HTML5|