1
Streamliners for Answer Set Programming
答案集编程（ASP）中的流线型技术，用约束剪枝大幅提升求解效率，AI逻辑推理新利器。
arXiv:2604.19251v2 Announce Type: replace-cross Abstract: Streamliner constraints reduce the search space of combinatorial problems by ruling out port…
2
Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
用约束引导的多智能体系统破解经典逻辑谜题，探索AI推理新范式
arXiv:2407.03956v3 Announce Type: replace-cross Abstract: Prior research has enhanced the ability of Large Language Models (LLMs) to solve logic puzzl…