Florent Capelli, YooJung Choi 0001, Stefan Mengel, Martín Muñoz, Guy Van den Broeck. A Canonical Generalization of 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.