Romain Wallon, Stefan Mengel. Revisiting Graph Width Measures for CNF-Encodings. J. Artif. Intell. Res. (JAIR), 67:409-436, 2020. [doi]
@article{WallonM20, title = {Revisiting Graph Width Measures for CNF-Encodings}, author = {Romain Wallon and Stefan Mengel}, year = {2020}, doi = {10.1613/jair.1.11750}, url = {https://doi.org/10.1613/jair.1.11750}, researchr = {https://researchr.org/publication/WallonM20}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {67}, pages = {409-436}, }