BreakID：用于回答集编程的静态对称性破缺（系统描述）
人工智能
2016-08-31 v1
摘要
对称性破缺已被证明是布尔可满足性求解（SAT）中一种高效的预处理技术。在本文中，我们将最先进的SAT对称性破缺工具BreakID移植到回答集编程（ASP）中。其成果是一个轻量级工具，可插入到ASP建模中常见的基化与求解阶段之间。我们将我们的工具与sbass（当前最先进的ASP对称性破缺工具）进行了比较。
引用
@article{arxiv.1608.08447,
title = {BreakID: Static Symmetry Breaking for ASP (System Description)},
author = {Jo Devriendt and Bart Bogaerts},
journal= {arXiv preprint arXiv:1608.08447},
year = {2016}
}
备注
Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016