Conflict-Directed Backjumping Revisited (2001)

by X Chen, P v Beek
Venue:Journal of Artificial Intelligence Research