Applications and Challenges in Satisfiability Modulo Theories.

Leonardo Mendona de Moura, Nikolaj S. Bjrner

Browse the full CADE paper archive.