Comparing Proof Systems for Linear Real Arithmetic with LFSC ∗

Cached

Download Links

by Andrew Reynolds , Cesare Tinelli , Aaron Stump , Liana Hadarean , Yeting Ge , Clark Barrett

Document Versions

Comparing Proof Systems for Linear Real Arithmetic with LFSC ∗ –Andrew Reynolds, Cesare Tinelli, Aaron Stump, Liana Hadarean, Yeting Ge, Clark Barrett