HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:satisfiability checking

Publications
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
Curtis Bright, Dragomir Ž Djoković, Ilias Kotsireas and Vijay Ganesh
EasyChair Preprint 825
SC-square: when Satisfiability Checking and Symbolic Computation join forces
Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Satisfiability Checking and Query Answering for Large Ontologies
Christoph Weidenbach and Patrick Wischnewski
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Covered Clause Elimination
Marijn Heule, Matti Järvisalo and Armin Biere
In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Copyright © 2012-2025 easychair.org. All rights reserved.