Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN

Theory and Applications of Satisfiability Testing – SAT 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14186-7_7 ◽

2010 ◽

pp. 58-70 ◽

Author(s):

Uwe Bubeck ◽

Hans Kleine Büning

Download Full-text