Alexis de Colnet, Alfons Laarman, Joon Hyung Lee. The Compilability Thresholds of 2-CNF to OBDD. In Alexey Ignatiev, Stefan Szeider, editors, 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026. Volume 377 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{ColnetLL26,
title = {The Compilability Thresholds of 2-CNF to OBDD},
author = {Alexis de Colnet and Alfons Laarman and Joon Hyung Lee},
year = {2026},
doi = {10.4230/LIPIcs.SAT.2026.13},
url = {https://doi.org/10.4230/LIPIcs.SAT.2026.13},
researchr = {https://researchr.org/publication/ColnetLL26},
cites = {0},
citedby = {0},
booktitle = {29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026},
editor = {Alexey Ignatiev and Stefan Szeider},
volume = {377},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-431-4},
}