机械回溯相关硕士博士期刊学术论文

本文实现了一种新的ＬＰ实现方法，我们采用一种精巧的内部变换结构来加速ＰＲＯＬＯＧ执行的合一进程，和一种基于变元例化环境的选择性回溯方法来提高......