TY - RPRT TI - A canonical generalization of OBDD AU - Florent Capelli AU - YooJung Choi AU - Stefan Mengel AU - Martín Muñoz AU - Guy Van den Broeck PY - 2026 UR - https://arxiv.org/abs/2604.05537 ID - 2604.05537 ER -