@article{canonicaldecisiondiagramsmodulotheories,
  title = {Canonical Decision Diagrams Modulo Theories},
  author = {Massimo Michelutti and Gabriele Masina and Giuseppe Spallitta and Roberto Sebastiani},
  year = {2024},
  eprint = {2404.16455},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2404.16455v3},
}