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