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