诺莫尔++

答案集求解的nomore++方法。我们提出了一个新的答案集求解器,称为nomore++,以及它的基本理论基础。它的一个显著特点是,它平等地将头部和身体视为计算对象。除了它的操作基础,我们展示了它是如何通过它的新的前瞻性和它保持无根据的自由性的计算策略来改进以前的工作。我们用精选的实验结果来支持我们的主张。