TY  - RPRT
TI  - Canonical Decision Diagrams Modulo Theories
AU  - Massimo Michelutti
AU  - Gabriele Masina
AU  - Giuseppe Spallitta
AU  - Roberto Sebastiani
PY  - 2024
DO  - 10.3233/faia241007
UR  - https://arxiv.org/abs/2404.16455
ID  - 2404.16455
ER  -