A Canonical Generalization of OBDD.

Florent Capelli, YooJung Choi, Stefan Mengel, Martn Muoz, Guy Van den Broeck

Browse the full SAT paper archive.