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