使用将约束满足问题转化为答案集编程的方式解决问题，实验表明该方法具有单位传播、本地一致性等特性，具有计算价值。

Apr, 2011

本文提出了 Constraint answer set programming 技术的概述，重点介绍了整合法和翻译法两种设计 Constraint answer set 求解器的方法，并提供了一个基于该技术的 Traveling Salesman Problem 的编码实例。

Jul, 2021

本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s（CASP）, 它可以在执行期间保留逻辑变量，并在答案集中应用约束，与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。

Apr, 2018

本研究探讨了基于自定义扩展求解器的几种策略，以避免实例化复杂约束条件，对真实和合成基准测试的结果进行了系统比较。

Jul, 2017

本文提出了基于边界约束的 ASP（Bound Founded Answer Set Programming）方法，解决了 ASP 系统中存在的基于有限域变量建模的算法性难题，同时将 ASP 的语义从布尔值和常规规则扩展到了数值变量上。

May, 2014

使用基于约束的谓词应答集编程的查询驱动自顶向下执行模型 s (CASP) 生成完整解释树，为 ASP 应答集提供最小化且易于转化为自然语言的解释，显著促进了 ASP 程序理解和操作的可行性。

Sep, 2020

本文介绍了如何使用 backdoors 的概念来识别能够使 ASP 问题可行的新限制，展示了 backdoors 如何作为一个统一的框架，能够容纳文献中已知的几个可行限制，并展示了如何利用 backdoors 将参数化复杂性理论的最新算法结果应用到答案集编程领域。

Apr, 2011

该论文提出了一种新的 ASP 编码模式，通过利用实际问题的大规则来编码难题，尤其针对 NP 问题能提供更强的表达能力，并且提供基于规则分解技术的解决方案，初步的基准测试表明，放弃固定程序的简便方式可以显著提高速度。

Aug, 2016

该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。

Dec, 2018

在该论文中，作者重新考虑了级别排序约束，旨在更系统地覆盖基于聚合的 ASP 扩展。通过应用一系列程序转换，级别排序约束可以以一般形式重写，从而保留了单调和凸聚合的结构，并为它们的整合提供了统一的基础。这些结果为翻译器和求解器管道的实际应用开辟了新的可能性。

Aug, 2023