Efficient Intelligent Backtracking Using Linear Programming

Bruce Davey, Natashia Boland, Peter J. Stuckey. Efficient Intelligent Backtracking Using Linear Programming. INFORMS Journal on Computing, 14(4):373-386, 2002. [doi]

Abstract

Abstract is missing.