Estimating the efficiency of backtrack programs (1975)

by D E Knuth
Venue:Mathematics of Computation 29:121–136