Revisiting Graph Width Measures for CNF-Encodings

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

10.1007/978-3-030-24258-9_16 ◽

2019 ◽

pp. 222-238 ◽

Author(s):

Stefan Mengel ◽

Romain Wallon

Download Full-text