Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
SAT
Papers
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
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
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
Copyright © 2012-2023 easychair.org. All rights reserved.