Revisiting Graph Width Measures for CNF-Encodings

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02351441
Contributor : Stefan Mengel <>
Submitted on : Wednesday, November 6, 2019 - 1:54:27 PM
Last modification on : Thursday, November 7, 2019 - 1:40:30 AM

Links full text

Identifiers

Collections

Citation

Stefan Mengel, Romain Wallon. Revisiting Graph Width Measures for CNF-Encodings. Theory and Applications of Satisfiability Testing - SAT 2019, Jul 2019, Lisbon, Portugal. pp.222-238, ⟨10.1007/978-3-030-24258-9_16⟩. ⟨hal-02351441⟩

Share

Metrics

Record views

6