SMT-COMP: Satisfiability Modulo Theories Competition (2005)

by C Barrett, L de Moura, A Stump
Venue:In 17th International Conference on Computer Aided Verification