Publications

A canonical generalization of OBDD

Florent Capelli, YooJung Choi, Stefan Mengel, Martín Muñoz, and Guy Van den Broeck.
In Proceedings of the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT), 2026.
PDF  BibTex