SC²@ISSAC

Keyphrases

Publications

2017

Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron. SC²@ISSAC (2017)
Stephen Forrest
Integration of SMT-LIB Support into Maple. SC²@ISSAC (2017)
Matthew England, Vijay Ganesh
Preface. SC²@ISSAC (2017)
Martin Brain, James H. Davenport, Alberto Griggio
Benchmarking Solvers, SAT-style. SC²@ISSAC (2017)
Tarik Viehmann, Gereon Kremer, Erika Ábrahám
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. SC²@ISSAC (2017)
Deepak Kapur
Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis. SC²@ISSAC (2017)
John Abbott, Anna Maria Bigatti
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. SC²@ISSAC (2017)
Erika Ábrahám, Jasper Nalbach, Gereon Kremer
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. SC²@ISSAC (2017)
Jan Horácek, Martin Kreuzer
On Conversions from CNF to ANF. SC²@ISSAC (2017)

volume 1974, 2017

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. SC²@ISSAC 1974 (2017)