@misc{indiciae09bde19d2ba7,
  title = {d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries},
  author = {Gabriele Masina and Emanuele Civini and Massimo Michelutti and Giuseppe Spallitta and Roberto Sebastiani},
  year = {2026},
  url = {https://arxiv.org/abs/2603.09975},
  note = {Source identifier: 2603.09975}
}