Parallelization of a bound-consistency enforcing procedure and its application in solving nonlinear systems

This paper considers incorporating a bound-consistency enforcing procedure to an interval branch-and-prune method. A heuristic to decide, when to use the developed operator, is proposed. As enforcing the bound-consistency is much more time consuming than performing other narrowing tools, we parallel...

Full description