Graph Width Measures for CNF-Encodings with Auxiliary Variables