依赖引导的回溯的英文翻译

英文翻译：【计】 dependency-directed backtracking