Comparing Proof Systems for Linear Real Arithmetic with LFSC ∗

by Andrew Reynolds , Cesare Tinelli , Aaron Stump , Liana Hadarean , Yeting Ge , Clark Barrett
Citations:1 - 1 self

Document Versions

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