Keyword:SAT

Publications
SAT Can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth Luca Mueller and Rolf Drechsler EasyChair Preprint 14322
Hash-based preprocessing and inprocessing techniques in SAT solvers Henrik Cao EasyChair Preprint 5939
Enhancing Reasoning with the Extension Rule in CDCL SAT Solvers Rodrigue Konan Tchinda and Clémentin Tayou Djamegni EasyChair Preprint 2121
Stedman and Erin Triples encoded as a SAT Problem Andrew Johnson EasyChair Preprint 673
Tuning Parallel SAT Solvers Thorsten Ehlers and Dirk Nowotka EasyChair Preprint 195
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Toward Optimal Radio Colorings of Hypercubes via SAT-solving Bernardo Subercaseaux and Marijn Heule In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
NACRE - A Nogood And Clause Reasoning Engine Gael Glorian, Jean-Marie Lagniez and Christophe Lecoutre In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SAT, Computer Algebra, Multipliers Daniela Kaufmann, Armin Biere and Manuel Kauers In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting Sibylle Möhle and Armin Biere In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Tuning Parallel SAT Solvers Thorsten Ehlers and Dirk Nowotka In:Proceedings of Pragmatics of SAT 2015 and 2018
The Effect of Scrambling CNFs Armin Biere and Marijn Heule In:Proceedings of Pragmatics of SAT 2015 and 2018
Competitive Sorter-based Encoding of PB-Constraints into SAT Michał Karpiński and Marek Piotrów In:Proceedings of Pragmatics of SAT 2015 and 2018
Towards Smarter MACE-style Model Finders Mikolas Janota and Martin Suda In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse Chuan Jiang and Gianfranco Ciardo In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Do Portfolio Solvers Harm? Christoph Weidenbach In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Blocked Clauses in First-Order Logic Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits and Armin Biere In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing Tobias Philipp In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Clausal Proof Compression Marijn Heule and Armin Biere In:IWIL-2015. 11th International Workshop on the Implementation of Logics
iDQ: Instantiation-Based DQBF Solving Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith In:POS-14. Fifth Pragmatics of SAT workshop
Post Mortem Analysis of SAT Solver Proofs Laurent Simon In:POS-14. Fifth Pragmatics of SAT workshop
CDCL with Less Destructive Backtracking through Partial Ordering Anthony Monnet and Roger Villemaire In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
A Sudoku-Solver for Large Puzzles using SAT Uwe Pfeiffer, Tomas Karnagel and Guido Scheffler In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Enhanced Gaussian Elimination in DPLL-based SAT Solvers Mate Soos In:POS-10. Pragmatics of SAT
Statistical Methodology for Comparison of SAT Solvers Mladen Nikolić In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Exploring Predictability of SAT/SMT Solvers Robert Brummayer, Duckki Oe and Aaron Stump In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Optimizing the AES S-Box using SAT Carsten Fuhs and Peter Schneider-Kamp In:IWIL 2010. The 8th International Workshop on the Implementation of Logics
Implementing an Efficient SAT Solver for a Probabilistic Description Logic Pavel Klinov and Bijan Parsia In:IWIL 2010. The 8th International Workshop on the Implementation of Logics