Posts by Collection

portfolio

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 

talks

teaching