依赖引导的回溯

[计] dependency-directed backtracking

yī lài yǐn dǎo de huí sù ㄧ ㄌㄞˋ ㄧㄣˇ ㄉㄠˇ ㄉㄜ˙ ㄏㄨㄟˊ ㄙㄨˋ