Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers.

Emir Demirovic, Geoffrey Chu, Peter J. Stuckey

Browse the full CP paper archive.