·2,447,543篇论文数据,部分数据来源于NoteExpress
本文为ASP提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为LPS。
This paper proposes and implements a cycle breaking heuristic and a bottom-restricted look-ahead procedure for ASP, and the resulting system is called LPS.
youdao
应用推荐
模块上移
模块下移
不移动