HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:satisfiability

Papers
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-2021 easychair.org. All rights reserved.