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]
Abstract is missing.