TL;DR本文介绍了如何使用 backdoors 的概念来识别能够使 ASP 问题可行的新限制,展示了 backdoors 如何作为一个统一的框架,能够容纳文献中已知的几个可行限制,并展示了如何利用 backdoors 将参数化复杂性理论的最新算法结果应用到答案集编程领域。
Abstract
answer set programming (ASP) is an increasingly popular framework for
declarative programming that admits the description of problems by means of
rules and constraints that form a disjunctive logic program. In pa