Satisfiability Modulo Theories and Assignments.

Maria Paola Bonacina, Stphane Graham-Lengrand, Natarajan Shankar

Browse the full CADE paper archive.