Keyword:CDCL

Publications
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
A Verified SAT Solver Framework including Optimization and Partial Valuations Mathias Fleury and Christoph Weidenbach In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Improving SAT Solver Performance with Structure-based Preferential Bumping Sima Jamali and David Mitchell In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Practical Aspects of SAT Solving Armin Biere In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
CDCL with Less Destructive Backtracking through Partial Ordering Anthony Monnet and Roger Villemaire In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning