SMT-COMP: Satisfiability Modulo Theories Competition [chapter]

Clark Barrett, Leonardo de Moura, Aaron Stump
2005 Lecture Notes in Computer Science  
doi:10.1007/11513988_4 fatcat:e4hzz64iubcd5pfroydoludhqa