collaborators

1 paper

cs.AI2005

Branch-and-Prune Search Strategies for Numerical Constraint Solving

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…