On Propositional QBF Expansions and Q-Resolution

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

10.1007/978-3-642-39071-5_7 ◽

2013 ◽

pp. 67-82 ◽

Author(s):

Mikoláš Janota ◽

Joao Marques-Silva

Download Full-text