"Revisiting Graph Width Measures for CNF-Encodings."

Romain Wallon, Stefan Mengel (2020)

Details and statistics

DOI: 10.1613/JAIR.1.11750

access: open

type: Journal Article

metadata version: 2020-10-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics