Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages















Posts

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