Beyond Unit Propagation in SAT Solving

Research Area: Structure Based Algorithm Engineering for SAT Solving Year: 2011
Type of Publication: In Proceedings Keywords: SAT, Boolean Constraint Propagation, Reasoning
Authors: Michael Kaufmann; Stephan Kottler
Book title: Symposium on Experimental Algorithms
BibTex:
[Bibtex]
[ Back ]