Canonical Decision Diagrams Modulo Theories.

Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

Browse the full ECAI paper archive.