TY  - RPRT
TI  - Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group
AU  - Arend-Jan Quist
AU  - Alexis de Colnet
AU  - Thomas Reps
AU  - Alfons Laarman
PY  - 2026
UR  - https://arxiv.org/abs/2609.35271
ID  - 2609.35271
ER  -