SMT-COMP: Satisfiability Modulo Theories Competition.

Clark W. Barrett, Leonardo Mendona de Moura, Aaron Stump

Browse the full CAV paper archive.