A theoretical evaluation of selected backtracking algorithm (1997)

by Grzegorz Kondrak, Peter van Beek
Venue:Artificial Intelligence