Proof Translation and SMT-LIB Benchmark Certification: A Preliminary Report (2008)
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 |
