Vol-1973⫷ Vol-1974 ⫸Vol-1975
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 |