Revisiting Graph Width Measures for CNF-Encodings

DOI10.1613/jair.1.11750zbMath1437.68133arXiv1905.05290OpenAlexW3010041377MaRDI QIDQ5109896

Romain Wallon, Stefan Mengel

Publication date: 14 May 2020

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.05290

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Computational aspects of satisfiability (68R07)

This page was built for publication: Revisiting Graph Width Measures for CNF-Encodings