... backtracking method 回溯法 ; 倒向追踪方法 relevant backtracking 相关回溯法 backtracking point 回溯点 ...
基于22个网页-相关网页
This paper presents the backtracking technique based on the unification environment in PROLOG system and related algorithms, and the method of intelligence backtracking under unification environment.
本文介绍了PROLOG系统中一种基于一致化环境的回溯技术和有关的算法,并给出了在这种一致化环境下智能回潮的方法。
Then Backjumping method, an improved Backtracking is produced.
在回溯法的基础上提出了改进算法回跳法;
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
应用推荐