When Interval Analysis Helps Inter-block Backtracking

Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a system of equations previously decomposed into a set of (small) k

• Type: Conference
• Year: 2006
• Where: CP
• Authors: Bertrand Neveu, Gilles Chabert, Gilles Trombettoni
• Keywords: Artificial Intelligence, CP 2006, Implementations Used Ilog, Library Allows Ibb, Solution