Skip to content

Malte Helmert

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

71

Venues

9

Active years

2006–2025

Best venue rank

A*

Where they publish

Papers

71 indexed papers, newest first.

YearVenueTitleAuthors
2025ECAIOn Performance Guarantees for Symbolic Search in Classical Planning.David Speck, Malte Helmert
2025ICAPSA Formalism for Optimal Search with Dynamic Heuristics.Remo Christen, Florian Pommerening, Clemens Bchner, Malte Helmert
2025ICAPSPseudo-Boolean Proof Logging for Optimal Classical Planning.Simon Dold, Malte Helmert, Jakob Nordstrm, Gabriele Rger, Tanja Schindler
2025KRDomain-Independent Instance Generation for Classical Planning.Claudia Grundke, Malte Helmert, Gabriele Rger
2024AAAINovelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning.Simon Dold, Malte Helmert
2024AAAIOn the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher
2024ICAPSAbstraction Heuristics for Factored Tasks.Clemens Bchner, Patrick Ferber, Jendrik Seipp, Malte Helmert
2024ICAPSPlanning with Object Creation.Augusto B. Corra, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
2024ICAPSHigher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity.Simon Dold, Malte Helmert
2024ICAPSFormal Representations of Classical Planning Domains.Claudia Grundke, Gabriele Rger, Malte Helmert
2022AAAIThe FF Heuristic for Lifted Classical Planning.Augusto B. Corra, Florian Pommerening, Malte Helmert, Guillem Francs
2022SoCSOn Producing Shortest Cost-Optimal Plans.Michael Katz, Gabriele Rger, Malte Helmert
2021AAAISaturated Post-hoc Optimization for Classical Planning.Jendrik Seipp, Thomas Keller, Malte Helmert
2020ECAINeural Network Heuristics for Classical Planning: A Study of Hyperparameter Space.Patrick Ferber, Malte Helmert, Jrg Hoffmann
2020IJCAILagrangian Decomposition for Classical Planning (Extended Abstract).Florian Pommerening, Gabriele Rger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
2020IJCAICost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning.Silvan Sievers, Florian Pommerening, Thomas Keller, Malte Helmert
2020SoCSAn Atom-Centric Perspective on Stubborn Sets.Gabriele Rger, Malte Helmert, Jendrik Seipp, Silvan Sievers
2020SoCSA Guide to Budgeted Tree Search.Nathan R. Sturtevant, Malte Helmert
2019IJCAIIterative Budgeted Exponential Search.Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant
2018IJCAIInductive Certificates of Unsolvability for Domain-Independent Planning.Salom Eriksson, Gabriele Rger, Malte Helmert
2018IJCAIBest-Case and Worst-Case Behavior of Greedy Best-First Search.Manuel Heusner, Thomas Keller, Malte Helmert
2018IJCAISearch Progress and Potentially Expanded States in Greedy Best-First Search.Manuel Heusner, Thomas Keller, Malte Helmert
2017AAAIHigher-Dimensional Potential Heuristics for Optimal Classical Planning.Florian Pommerening, Malte Helmert, Blai Bonet
2017AAAINarrowing the Gap Between Saturated and Optimal Cost Partitioning for Classical Planning.Jendrik Seipp, Thomas Keller, Malte Helmert
2017AAAIValue Compression of Pattern Databases.Nathan R. Sturtevant, Ariel Felner, Malte Helmert
2017SoCSOn Variable Dependencies and Compressed Pattern Databases.Malte Helmert, Nathan R. Sturtevant, Ariel Felner
2017SoCSUnderstanding the Search Behaviour of Greedy Best-First Search.Manuel Heusner, Thomas Keller, Malte Helmert
2017SoCSOptimal Solutions to Large Logistics Planning Domain Problems.Gerald Paul, Gabriele Rger, Thomas Keller, Malte Helmert
2017SoCSStrengthening Canonical Pattern Databases with Structural Symmetries.Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
2016IJCAICorrelation Complexity of Classical Planning Domains.Jendrik Seipp, Florian Pommerening, Gabriele Rger, Malte Helmert
2016IJCAIGraph-Based Factorization of Classical Planning Problems.Martin Wehrle, Silvan Sievers, Malte Helmert
2016SoCSOptimal Solitaire Game Solutions Using A* Search and Deadlock Analysis.Gerald Paul, Malte Helmert
2015AAAIFrom Non-Negative to General Operator Cost Partitioning.Florian Pommerening, Malte Helmert, Gabriele Rger, Jendrik Seipp
2015AAAIAutomatic Configuration of Sequential Planning Portfolios.Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter
2015AAAIHeuristics and Symmetries in Classical Planning.Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle
2015AAAIFactored Symmetries for Merge-and-Shrink Abstractions.Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
2015IJCAIHeuristics for Cost-Optimal Classical Planning Based on Linear Programming.Florian Pommerening, Gabriele Rger, Malte Helmert, Blai Bonet
2015IJCAIIntegrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning.Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
2015KIA Doppelkopf Player Based on UCT.Silvan Sievers, Malte Helmert
2015KIAn Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search.Silvan Sievers, Martin Wehrle, Malte Helmert, Michael Katz
2014AAAIGeneralized Label Reduction for Merge-and-Shrink Heuristics.Silvan Sievers, Martin Wehrle, Malte Helmert
2014ECAIOptimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context Splitting.Gabriele Rger, Florian Pommerening, Malte Helmert
2014ECAIBounded Intention Planning Revisited.Silvan Sievers, Martin Wehrle, Malte Helmert
2014SoCSExploiting the Rubik's Cube 12-Edge PDB by Combining Partial Pattern Databases and Bloom Filters.Nathan R. Sturtevant, Ariel Felner, Malte Helmert
2013AAAIAdditive Counterexample-Guided Cartesian Abstraction Refinement.Jendrik Seipp, Malte Helmert
2013IJCAIGetting the Most Out of Pattern Databases for Classical Planning.Florian Pommerening, Gabriele Rger, Malte Helmert
2013SoCSSoCS 2013 Organization.Malte Helmert, Gabriele Rger
2013SoCSPreface.Malte Helmert, Gabriele Rger
2012AAAINon-Optimal Multi-Agent Pathfinding Is Solved (Since 1984).Gabriele Rger, Malte Helmert
2012ECAIA Stubborn Set Algorithm for Optimal Planning.Yusra Alkhazraji, Martin Wehrle, Robert Mattmller, Malte Helmert
2012SoCSNon-Optimal Multi-Agent Pathfinding is Solved (Since 1984).Gabriele Rger, Malte Helmert
2012SoCSEfficient Implementation of Pattern Database Heuristics for Classical Planning.Silvan Sievers, Manuela Ortlieb, Malte Helmert
2012SoCSBetter Parameter-Free Anytime Search by Minimizing Time Between Solutions.Jordan Tyler Thayer, J. Benton, Malte Helmert
2011IJCAIComputing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.Raz Nissim, Jrg Hoffmann, Malte Helmert
2010AAAIHigh-Quality Policies for the Canadian Traveler's Problem.Patrick Eyerich, Thomas Keller, Malte Helmert
2010ECAIStrengthening Landmark Heuristics via Hitting Sets.Blai Bonet, Malte Helmert
2010ECAIRelative-Order Abstractions for the Pancake Problem.Malte Helmert, Gabriele Rger
2010ECAISound and Complete Landmarks for And/Or Graphs.Emil Keyder, Silvia Richter, Malte Helmert
2010SoCSHigh-Quality Policies for the Canadian Traveler's Problem.Patrick Eyerich, Thomas Keller, Malte Helmert
2010SoCSLandmark Heuristics for the Pancake Problem.Malte Helmert
2009KIPlanning withChristoph Betz, Malte Helmert
2009SASThe Causal Graph Revisited for Directed Model Checking.Martin Wehrle, Malte Helmert
2008AAAIExplicit-State Abstraction: A New Method for Generating Heuristic Functions.Malte Helmert, Patrik Haslum, Jrg Hoffmann
2008AAAIAccuracy of Admissible Heuristic Functions in Selected Planning Domains.Malte Helmert, Robert Mattmller
2008AAAIHow Good is Almost Perfect?.Malte Helmert, Gabriele Rger
2008AAAILandmarks Revisited.Silvia Richter, Malte Helmert, Matthias Westphal
2008KROn the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle.Gabriele Rger, Malte Helmert, Bernhard Nebel
2007AAAIDomain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig
2007KIA Stochastic Local Search Approach to Vertex Cover.Silvia Richter, Malte Helmert, Charles Gretton
2006ATVASelective Approaches for Solving Weak Games.Malte Helmert, Robert Mattmller, Sven Schewe
2006ECAIAproximation Properties of Planning Benchmarks.Malte Helmert, Robert Mattmller, Gabriele Rger