A CNF Class Generalizing Exact Linear Formulas

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

10.1007/978-3-540-79719-7_22 ◽

2008 ◽

pp. 231-245 ◽

Cited By ~ 1

Author(s):

Stefan Porschen ◽

Ewald Speckenmeyer

Download Full-text