Does Advice Help to Prove Propositional Tautologies?

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

10.1007/978-3-642-02777-2_8 ◽

2009 ◽

pp. 65-72 ◽

Cited By ~ 2

Author(s):

Olaf Beyersdorff ◽

Sebastian Müller

Download Full-text