Revisiting graph width measures for CNF-encodings
From MaRDI portal
Publication:2181934
DOI10.1007/978-3-030-24258-9_16zbMath1441.68157OpenAlexW2953530859MaRDI QIDQ2181934
Publication date: 20 May 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-24258-9_16
Graph theory (including graph drawing) in computer science (68R10) Computational aspects of satisfiability (68R07)