Original language | English (US) |
---|---|
Title of host publication | Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10) |
Place of Publication | Edinburgh, Scotland |
State | Published - 2010 |
Comparing proof systems for linear real arithmetic LFSC
Andrew Reynolds, Liana Hadarean, Cesare Tinelli, Yeting Ge, Aaron Stump, Clark Barrett
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution