Stefan Mengel and Romain Wallon: Revisiting Graph Width Measures for CNF-Encodings. (2019)journals/corr/abs-1905-052901905.05290Revisiting Graph Width Measures for CNF-Encodings.2Stefan Mengel1Romain Wallon2CoRRCoRRabs/1905.052902019provenance information for RDF data of dblp record 'journals/corr/abs-1905-05290'2021-01-23T01:11:31+0100