Keyword:SAT

Papers
Hash-based preprocessing and inprocessing techniques in SAT solvers Henrik Cao EasyChair Preprint no. 5939
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 Ritirc, 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
Enhancing Reasoning with the Extension Rule in CDCL SAT Solvers Rodrigue Konan Tchinda and Clémentin Tayou Djamegni EasyChair Preprint no. 2121
The Effect of Scrambling CNFs Armin Biere and Marijn Heule In:Proceedings of Pragmatics of SAT 2015 and 2018
Tuning Parallel SAT Solvers Thorsten Ehlers and Dirk Nowotka 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
Stedman and Erin Triples encoded as a SAT Problem Andrew Johnson EasyChair Preprint no. 673
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
Tuning Parallel SAT Solvers Thorsten Ehlers and Dirk Nowotka EasyChair Preprint no. 195
Do Portfolio Solvers Harm? Christoph Weidenbach In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer 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
Post Mortem Analysis of SAT Solver Proofs Laurent Simon In:POS-14. Fifth Pragmatics of SAT workshop
iDQ: Instantiation-Based DQBF Solving Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith 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
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
Statistical Methodology for Comparison of SAT Solvers Mladen Nikolic In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
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
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