HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:satisfiability

Papers
Semantic Computation of the Propositional Model Composites in Enactment Logic.
Frank Appiah
EasyChair Preprint no. 6186
Sensitivity Analysis of Locked Circuits
Joseph Sweeney, Marijn Heule and Lawrence Pileggi
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
Copyright © 2012-2023 easychair.org. All rights reserved.