8 citations · 9 across the 10 of their papers we have counts for
1 paper · 2 filters
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…