ASP-FZN：一种基于翻译的约束答案集求解器
人工智能
2025-09-16 v3
摘要
我们提出了求解器asp-fzn，用于约束答案集编程（CASP），其扩展了答案集编程（ASP）中的线性约束。我们的做法基于将CASP程序翻译为支持多种约束编程和整数规划后端求解器的求解器无关FlatZinc语言。该求解器支持丰富的线性约束，包括一些常见的全局约束。关于评估，我们展示了asp-fzn在来自过去ASP比赛基准测试中的表现与最先进的ASP求解器相当。此外，我们在文献中Several CASP问题上进行评估，并与支持asp-fzn大部分语言的著名CASP求解器clingcon进行比较。asp-fzn的性能表现良好，已在纯ASP上与竞争，甚至在某些CASP基准测试中超越clingcon。
引用
@article{arxiv.2507.22774,
title = {ASP-FZN: A Translation-based Constraint Answer Set Solver},
author = {Thomas Eiter and Tobias Geibinger and Tobias Kaminski and Nysret Musliu and Johannes Oetsch},
journal= {arXiv preprint arXiv:2507.22774},
year = {2025}
}
备注
Presented at the 41st International Conference on Logic Programming (ICLP 2025)