On the combined approach to intelligent backtracking

An intelligent backtracking scheme based on both static and dynamics information, called the CIB (combined intelligent backtracking) approach, is presented. At compile time IBGs (intelligent backtracking graphs) are generated. An IBG is constructed by augmenting a data dependency graph with additional backtracking links for each variable and different types of backtracking. At runtime, the variables causing the failure are identified, and the intelligent backtracking is accomplished by following corresponding links in the IBGs. Comparison with other approaches is made