Analysis and visualization tools for constraint programming : constraint debugging - Deransart, Pierre, 1945- (Springer, 2000)