d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries.

Gabriele Masina, Emanuele Civini, Massimo Michelutti, Giuseppe Spallitta, Roberto Sebastiani

Browse the full SAT paper archive.