Revisiting Graph Width Measures for CNF-Encodings.

Stefan Mengel, Romain Wallon

Browse the full SAT paper archive.