Keyword:satisfiability checking

Papers
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices Curtis Bright, Dragomir Ž Djoković, Ilias Kotsireas and Vijay Ganesh EasyChair Preprint no. 825
SC-square: when Satisfiability Checking and Symbolic Computation join forces Erika Ábrahám, 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.