The Satisfiability Modulo Theories Library (SMT-LIB)

Clark W. Barrett, Pascal Fontaine, Cesare Tinelli
[Google Scholar] [DBLP] [Citeseer]

2016
Note(s): SMT solver