Local search with constraint propagation and conflict-based heuristics (2002)

by N Jussien, O Lhomme
Venue:Artificial Intelligence