There Are No CNF Problems

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

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

2013 ◽

pp. 19-21 ◽

Cited By ~ 3

Author(s):

Peter J. Stuckey

Download Full-text