4 citations · 4 across the 2 of their papers we have counts for
4 papers · 1 filter
Pseudo-Boolean Proof Logging for Optimal Classical Planning
Simon Dold, Malte Helmert, Jakob Nordström +2
We introduce lower-bound certificates for classical planning tasks, which can be used to prove the unsolvability of a task or the optimality of a plan in a way that can be verified…
A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
Remo Christen, Florian Pommerening, Clemens Büchner +1
While most heuristics studied in heuristic search depend only on the state, some accumulate information during search and thus also depend on the search history. Various existing a…
Higher-Dimensional Potential Heuristics for Optimal Classical Planning
Florian Pommerening, Malte Helmert, Blai Bonet
Potential heuristics for state-space search are defined as weighted sums over simple state features. Atomic features consider the value of a single state variable in a factored sta…
Exponential-Binary State-Space Search
Nathan Sturtevant, Malte Helmert
Iterative deepening search is used in applications where the best cost bound for state-space search is unknown. The iterative deepening process is used to avoid overshooting the ap…