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

Cached

Download Links

by Yeting Ge , Clark Barrett
Venue:In 6’th International Workshop on SMT
Citations:3 - 1 self

Document Versions

Proof Translation and SMT-LIB Benchmark Certification: A Preliminary Report –Yeting Ge, Clark Barrett — 2008 — In 6’th International Workshop on SMT