arXiv ID:
2604.19251
arXiv 提交日期: 2026-04-21
面向答案集编程的流线型约束生成方法 / Streamliners for Answer Set Programming
1️⃣ 一句话总结
本文提出一种利用大语言模型自动为答案集编程生成高效约束(流线型约束)的方法,通过筛选语法正确且不破坏问题可解性的候选约束,在三个经典基准测试上使求解速度提升4到5倍,并发现不同模型能捕获问题中真实的结构特征而非仅仅产生语法变化。