A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors

Research Area: Structure Based Algorithm Engineering for SAT Solving Year: 2008
Type of Publication: In Proceedings Keywords: SAT
Authors: Stephan Kottler; Michael Kaufmann; Carsten Sinz
Book title: Theory and Applications of Satisfiability Testing
BibTex:
[Bibtex]
[ Back ]