BriefGPT.xyz
Aug, 2016
lpopt: 用于答案集编程的规则优化工具
lpopt: A Rule Optimization Tool for Answer Set Programming
HTML
PDF
Manuel Bichler, Michael Morak, Stefan Woltran
TL;DR
介绍了 lpopt 工具，该工具可以将大型逻辑编程规则分解成更小的规则以提高现有求解程序的性能。
Abstract
State-of-the-art
answer set programming
(
asp
) solvers rely on a program called a
grounder
to convert non-ground programs containing variab
→