Keyword:satisfiability

Papers
The Potential of Interference-Based Proof Systems Marijn Heule and Benjamin Kiesl In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures Martin Aigner, Armin Biere, Christoph Kirsch, Aina Niemetz and Mathias Preiner In:POS-13. Pragmatics of SAT 2013
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning Jason Crampton, Michael Huth and Jim Huan-Pu Kuo In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Practical Aspects of SAT Solving Armin Biere In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
An SMT-based approach to automated configuration Raphaël Michel, Arnaud Hubaux, Vijay Ganesh and Patrick Heymans In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
On Solving MaxSAT Through SAT Carlos Ansótegui, Maria Luisa Bonet and Jordi Levy In:POS-10. Pragmatics of SAT