On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure

Frédéric Goualard
2005 Proceedings of the 2005 ACM symposium on Applied computing - SAC '05  
We show that a classical interval constraint propagation algorithm enforcing box consistency may be interpreted as a free-steering nonlinear Gauss-Seidel procedure. This suggests that the choice of a transversal in the incidence matrix associated with the problem to solve is paramount to the efficiency of the algorithm. We present experimental evidences that it is indeed so, and we suggest an heuristics to compute good transversals. The improved interval constraint algorithm is compared with a
more » ... lassical one and with standard methods such as Hansen-Sengupta on some well-known benchmarks.
doi:10.1145/1066677.1067004 dblp:conf/sac/Goualard05 fatcat:zfhnikyb2bfghczj2da74d7osq