C.: The SMT-LIB Standard: Version 2.0 (2010)

by Clark Barrett , Aaron Stump , Cesare Tinelli , Sascha Boehme , David Cok , David Deharbe , Bruno Dutertre , Pascal Fontaine , Vijay Ganesh , Alberto Griggio , Jim Grundy , Paul Jackson , Albert Oliveras , Sava Krstić , Michal Moskal , Leonardo De Moura , Roberto Sebastiani , To David Cok , Jochen Hoenicke
Citations:35 - 2 self