Efficient Intelligent Backtracking Using Linear Programming

Bruce Davey, Natashia Boland, Peter J. Stuckey

Abstract: Intelligent backtracking is a technique used in constraint programming for reducing search in solving combinatorial feasibility problems. The technique uses information derived from small sets of i...