Keyword:SAT solver

Papers
Hash-based preprocessing and inprocessing techniques in SAT solvers Henrik Cao EasyChair Preprint no. 5939
A Multithreaded Vampire with Shared Persistent Grounding Michael Rawson and Giles Reger EasyChair Preprint no. 5855
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz and Kai Weber In:Proceedings of Pragmatics of SAT 2015 and 2018
Stedman and Erin Triples encoded as a SAT Problem Andrew Johnson EasyChair Preprint no. 673
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz and Kai Weber EasyChair Preprint no. 378
Finding Minimal Reaction Sets in Large Metabolic Pathways Takehide Soh and Katsumi Inoue In:WCB10. Workshop on Constraint Based Methods for Bioinformatics