Comparing Proof Systems for Linear Real Arithmetic with LFSC

“Comparing Proof Systems for Linear Real Arithmetic with LFSC” by Andrew Reynolds, Liana Hadarean, Cesare Tinelli, Yeting Ge, Aaron Stump, and Clark Barrett. In Proceedings of the 8^th International Workshop on Satisfiability Modulo Theories (SMT '10), July 2010. Edinburgh, Scotland.

BibTeX entry:

@inproceedings{RHT+10,
   author = {Andrew Reynolds and Liana Hadarean and Cesare Tinelli and
	Yeting Ge and Aaron Stump and Clark Barrett},
   title = {Comparing Proof Systems for Linear Real Arithmetic with {LFSC}},
   booktitle = {Proceedings of the {\it 8^{th}} International Workshop on
	Satisfiability Modulo Theories (SMT '10)},
   month = jul,
   year = {2010},
   note = {Edinburgh, Scotland},
   url = {http://theory.stanford.edu/~barrett/pubs/RHT+10.pdf}
}

(This webpage was created with bibtex2web.)