A Data-Parallel Algorithm to Enforce Box Consistency

Enforcing box consistency---or a variation thereof---is an efficient means to reliably solve nonlinear continuous constraint systems. We present a new algorithm to enforce box consistency that is simpler than the classical one, faster, and easily data parallelizable. A prototype parallel implementation with SIMD SSE instructions shows that speed-ups of 60\% up to an order of magnitude and more are achievable