Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
scientific article; zbMATH DE number 5119730