Selective relaxation for constraint satisfaction problems
Eugene C. Freuder, Richard J. Wallace · 2002
A basic problem is to optimize the tradeoff between effort required to establish a local consistency and that required for search. An approach is presented to this problem which is termed selective relaxation. The idea is to perform consistency checking at places where it is likely to be effective, basing this judgment on local criteria. To this end, the authors introduce two forms of bounded relaxation, one in which consistency testing propagates for a limited distance from a point of change, and one in which it stops when the amount of change, or response, falls below threshold. Experiments show that these procedures can outperform well-known preprocessing or hybrid algorithms on many problems.>