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.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
This method refrain from any backtracking. The time and space consumed by search are greatly reduced.
方法从根本上避免了回溯，显著地减少了时间和空间上的开销。
This method refrain from any backtracking. The time and space consumed by search are greatly reduced.
方法从根本上避免了回溯，显著地减少了时间和空间上的开销。
应用推荐