Limited assignments: a new cutoff strategy for incomplete depth-first search