The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition.

Maria Paola Bonacina

Browse the full CiE paper archive.