View of Graph Width Measures for CNF-Encodings with Auxiliary Variables

Return to Article Details Graph Width Measures for CNF-Encodings with Auxiliary Variables Download Download PDF