61 citations · 693 across the 58 of their papers we have counts for
1 paper · 2 filters
Erika Abraham, James H. Davenport, Matthew England +1
We discuss the topic of unsatisfiability proofs in SMT, particularly with reference to quantifier free non-linear real arithmetic. We outline how the methods here do not admit triv…