Boi Faltings, Marius-Calin Silaghi, Xuan-Ha Vu
When solving numerical constraints such as nonlinear equations and inequalities, solvers often exploit pruning techniques, which remove redundant value combinations from the domains of variables, at pruning steps. To find the complete solution set, most of ...
2005