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

Roman Bartk, Hana Rudov

Browse the full SAC paper archive.