![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SC²@ISSAC 2017: Kaiserslautern, Germany
- Matthew England, Vijay Ganesh:
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. CEUR Workshop Proceedings 1974, CEUR-WS.org 2017 - Matthew England, Vijay Ganesh:
Preface.
Full Papers
- Jan Horácek, Martin Kreuzer:
On Conversions from CNF to ANF. - Tarik Viehmann, Gereon Kremer
, Erika Ábrahám:
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. - Martin Brain, James H. Davenport, Alberto Griggio:
Benchmarking Solvers, SAT-style.
Extended Abstracts
- Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron. - Erika Ábrahám, Jasper Nalbach, Gereon Kremer
:
Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. - John Abbott, Anna Maria Bigatti:
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. - Stephen Forrest:
Integration of SMT-LIB Support into Maple.
Invited Post-Workshop Contribution
- Deepak Kapur:
Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.