SAT Solving with Reference Points

Research Area: Structure Based Algorithm Engineering for SAT Solving Year: 2010
Type of Publication: In Proceedings Keywords: SAT, Reference Point, DMRP
Authors: Stephan Kottler
Book title: Theory and Applications of Satisfiability Testing
BibTex:
[Bibtex]
[ Back ]