Proof Translation and SMT-LIB Benchmark Certification: A Preliminary Report (2008)

by Yeting Ge, Clark Barrett
Venue:In 6’th International Workshop on SMT