The Complexity of Finding Read-Once NAE-Resolution Refutations

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_6 ◽

2016 ◽

pp. 64-76

Author(s):

Hans Kleine Büning ◽

Piotr Wojciechowski ◽

K. Subramani

Download Full-text