Computation of Renameable Horn Backdoors

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