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
