Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSC²@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.
a service of 
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.
last updated on 2024-06-28 23:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
