新论文探讨用于因子化规划任务的SAT编码

作者 PulseAugur 编辑部 · [1 个来源] · 2026-06-01 04:00

一篇新的研究论文探讨了用于SAT求解的因子化任务编码，这是一种在经典规划中使用的技术。该研究提出了各种编码策略，并分析了常见的任务转换如何影响基于SAT的规划器的性能。它还研究了在此问题域内不同级别上利用并行性。 AI

排序理由该集群包含一篇发表在arXiv上的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

arXiv

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Jo\~ao Filipe, \'Alvaro Torralba, Gregor Behnke · 2026-06-01 04:00

转换和编码FTS以进行SAT求解：哪些有效，哪些无效（扩展版）

arXiv:2605.30563v1 Announce Type: new Abstract: Factored tasks are a classical planning representation that extends SAS+ with limited forms of disjunctive preconditions, conditional effects, and angelic nondeterminism. This allows for a more compact representation of tasks than t…