TY  - RPRT
TI  - d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
AU  - Gabriele Masina
AU  - Emanuele Civini
AU  - Massimo Michelutti
AU  - Giuseppe Spallitta
AU  - Roberto Sebastiani
PY  - 2026
UR  - https://arxiv.org/abs/2603.09975
ID  - 2603.09975
ER  -