14 citations · 25 across the 3 of their papers we have counts for
1 paper · 2 filters
Valentin Promies, Jasper Nalbach, Erika Ábrahám +1
To check the satisfiability of (non-linear) real arithmetic formulas, modern satisfiability modulo theories (SMT) solving algorithms like NLSAT depend heavily on single cell constr…