Revisiting Graph Width Measures for CNF-Encodings

Cite

Text

Wallon and Mengel. "Revisiting Graph Width Measures for CNF-Encodings." Journal of Artificial Intelligence Research, 2020. doi:10.1613/JAIR.1.11750

Markdown

[Wallon and Mengel. "Revisiting Graph Width Measures for CNF-Encodings." Journal of Artificial Intelligence Research, 2020.](https://mlanthology.org/jair/2020/wallon2020jair-revisiting/) doi:10.1613/JAIR.1.11750

BibTeX

@article{wallon2020jair-revisiting,
  title     = {{Revisiting Graph Width Measures for CNF-Encodings}},
  author    = {Wallon, Romain and Mengel, Stefan},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2020},
  pages     = {409-436},
  doi       = {10.1613/JAIR.1.11750},
  volume    = {67},
  url       = {https://mlanthology.org/jair/2020/wallon2020jair-revisiting/}
}