Graph Width Measures for CNF-Encodings with Auxiliary Variables

Open in new window