39 citations · 219 across the 22 of their papers we have counts for
1 paper · 2 filters
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm +1
Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding const…