Revisiting Graph Width Measures for CNF-Encodings

Open in new window