205 citations · 861 across the 59 of their papers we have counts for
1 paper · 1 filter
Xuan-Ha Vu, Marius-Calin Silaghi, Djamila Sam-Haroud +1
When solving numerical constraints such as nonlinear equations and inequalities, solvers often exploit pruning techniques, which remove redundant value combinations from the domain…