Malte Helmert
15 papers · 2013–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Academic Marathon (11) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π Cross-Pollinator (8)
π
Conference Polyglot
(2)
π
Academic Marathon
(11)
π§
Keyword Pioneer
π
Keyword Champion
(2)
π§¬
Topic Evolution
π₯
Unstoppable
(5)
π
Century Club
(15)
π
Conference Pioneer
Conferences
IJCAI (11)
AAAI (4)
Top co-authors
Keywords
heuristic search
(6)
classical planning
(4)
abstraction heuristic
(2)
cost partitioning
(2)
greedy best-first search
(2)
graph search
(1)
state space
(1)
search space
(1)
optimal search
(1)
tree search
(1)
htn planning
(1)
hierarchical task network
(1)
expansion budget
(1)
state expansion
(1)
exponential search
(1)
shortest path problem
(1)
solution cost
(1)
optimal planning
(1)
datalog program
(1)
complexity analysis
(1)
Papers
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
AAAI 2024
Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning
AAAI 2024
The FF Heuristic for Lifted Classical Planning
AAAI 2022
Saturated Post-hoc Optimization for Classical Planning
AAAI 2021
Lagrangian Decomposition for Classical Planning (Extended Abstract)
IJCAI 2020
Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning
IJCAI 2020
Iterative Budgeted Exponential Search
IJCAI 2019
Best-Case and Worst-Case Behavior of Greedy Best-First Search
IJCAI 2018
Inductive Certificates of Unsolvability for Domain-Independent Planning
IJCAI 2018
Search Progress and Potentially Expanded States in Greedy Best-First Search
IJCAI 2018
Correlation Complexity of Classical Planning Domains
IJCAI 2016
Graph-Based Factorization of Classical Planning Problems
IJCAI 2016
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
IJCAI 2015
Heuristics for Cost-Optimal Classical Planning Based on Linear Programming
IJCAI 2015
Getting the Most Out of Pattern Databases for Classical Planning
IJCAI 2013