Sciweavers

Share
COCOS
2003
Springer

Inter-block Backtracking: Exploiting the Structure in Continuous CSPs

10 years 3 months ago
Inter-block Backtracking: Exploiting the Structure in Continuous CSPs
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This technique, introduced in 1998 by Bliek et al., handles a system of equations previously decomposed into a set of (small) k × k sub-systems, called blocks. All solutions are obtained by combining the solutions computed in the different blocks. The approach seems particularly suitable for improving interval solving techniques. In this paper, we analyze into the details the different variants of IBB which differ in their backtracking and filtering strategies. We also introduce IBB-GBJ, a new variant based on Dechter’s graph-based backjumping. An extensive comparison on a sample of eight CSPs allows us to better understand the behavior of IBB. It shows that the variants IBB-BT+ and IBB-GBJ are good compromises between simplicity and performance. Moreover, it clearly shows that limiting the scope of the filtering ...
Bertrand Neveu, Christophe Jermann, Gilles Trombet
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where COCOS
Authors Bertrand Neveu, Christophe Jermann, Gilles Trombettoni
Comments (0)
books