A theoretical evaluation of selected backtracking algorithms (1997)

by G Kondrak, P van Beek
Venue:Artificial Intelligence