A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 adoi:10.1145/1066677.1067004 dblp:conf/sac/Goualard05 fatcat:zfhnikyb2bfghczj2da74d7osq