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 proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10)
Place of PublicationEdinburgh, Scotland
StatePublished - 2010

Cite this

Reynolds, A., Hadarean, L., Tinelli, C., Ge, Y., Stump, A., & Barrett, C. (2010). Comparing proof systems for linear real arithmetic LFSC. In Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10)