BriefGPT.xyz
Oct, 2015
基于模板的析取答案集求解器
Disjunctive Answer Set Solvers via Templates
HTML
PDF
Remi Brochenin, Yuliya Lierler, Marco Maratea
TL;DR
本文介绍了使用转换系统来建模和分析矛盾性答案集求解器的方法,展示了该方法对于分析、比较和证明搜索算法正确性以及启发新的求解器设计是多么有效。同时,我们引入了通用模板,以设计多种技术在不同求解器中的组合,并证明了它对于捕捉DLV、GnT和Cmodels等求解器这样的主要技术的能力。
Abstract
answer set programming
is a declarative programming paradigm oriented towards difficult combinatorial search problems. A fundamental task in
answer set programming
is to compute
→