HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:SAT solver

Publications
Hash-based preprocessing and inprocessing techniques in SAT solvers
Henrik Cao
EasyChair Preprint 5939
A Multithreaded Vampire with Shared Persistent Grounding
Michael Rawson and Giles Reger
EasyChair Preprint 5855
Stedman and Erin Triples encoded as a SAT Problem
Andrew Johnson
EasyChair Preprint 673
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz and Kai Weber
EasyChair Preprint 378
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
Finding Minimal Reaction Sets in Large Metabolic Pathways
Takehide Soh and Katsumi Inoue
In:WCB10. Workshop on Constraint Based Methods for Bioinformatics
Copyright © 2012-2025 easychair.org. All rights reserved.