References & Citations
Computer Science > Artificial Intelligence
Title: Computing Plan-Length Bounds Using Lengths of Longest Paths
(Submitted on 1 Jun 2020 (v1), last revised 1 Mar 2021 (this version, v2))
Abstract: We devise a method to exactly compute the length of the longest simple path in factored state spaces, like state spaces encountered in classical planning. Although the complexity of this problem is NEXP-Hard, we show that our method can be used to compute practically useful upper-bounds on lengths of plans. We show that the computed upper-bounds are significantly (in many cases, orders of magnitude) better than bounds produced by previous bounding techniques and that they can be used to improve the SAT-based planning.
Submission history
From: Mohammad Abdulaziz [view email][v1] Mon, 1 Jun 2020 15:16:50 GMT (6053kb,D)
[v2] Mon, 1 Mar 2021 11:17:15 GMT (6571kb,D)
Link back to: arXiv, form interface, contact.