...变难区域中的逻辑程序，通常这些程序被认为是计算困难的．除此以外，通过使用被称为动态变元过滤（dynamic variable filtering，DVF）的技术，LPS可以在计算过程中极大地缩小搜索树的尺寸。
基于4个网页-相关网页
dynamic variable filtering
动态变量过滤
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动