Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2026)

Important dates

Schedule
SubmissionMay 7, 2026 May 14, 2026
NotificationMay 28, 2026
Camera ReadyJune 8, 2026 June 14, 2026
WorkshopJune 29, 2026

All deadlines are AoE(UTC-12).

Aim and Scope of the Workshop

Heuristics and search algorithms are the two key components of heuristic search, one of the main approaches to many variations of domain-independent planning, including classical planning, temporal planning, planning under uncertainty and adversarial planning. This workshop seeks to understand the underlying principles of current heuristics and search methods, their limitations, ways for overcoming those limitations, as well as the synergy between heuristics and search.

The HSDIP workshop has always been welcoming of multidisciplinary work, for example, drawing inspiration from operations research (like row and column generation algorithms), convex optimization (like gradient optimization for hybrid planning), constraint programming, satisfiability, or applications of machine learning in heuristic search (e.g., learning heuristics, or heuristic selection).

The workshop is meant to be an open and inclusive forum, and we encourage papers that report on work in progress or that do not fit the mold of a typical conference paper. Contributions do not have to show that a new approach outperforms the state of the art. While performance measured in the number of evaluated nodes, time, and solution quality remains relevant, in this workshop we seek above all crisp and meaningful ideas and understanding. We are interested in all variations of domain-independent planning such as classical planning, temporal planning, hybrid planning, planning under uncertainty, adversarial planning, or (model-based) reinforcement learning. Non-trivial negative results are welcome to the workshop, but we expect the authors to argue for the significance of the presented results.

Topics of Interest

Examples of typical topics for submissions to this workshop are:

  • automatic derivation of heuristic estimators for domain-independent planning
  • formal results showing equivalence or dominance between heuristics
  • novel heuristic methods dealing with planning with numeric variables and effects, partial observability and non-deterministic action effects
  • heuristic estimators for domain-independent planning via procedures or suitably defined encodings of declarative descriptions of planning tasks into satisfiability or optimisation
  • novel search techniques for domain-independent planning that explicitly aim at exploiting effectively the properties of existing heuristics
  • empirical observations of synergies between heuristics and search in domain-independent planning
  • challenging domains for existing combinations of heuristics and search algorithms
  • applications of machine learning in heuristic search, e.g., learning heuristics, adaptive search strategies, or heuristic selection
  • interesting algorithmic optimizations for the calculation of a heuristic or the execution of a search

Schedule

Morning

Session 19:00-10:30

9:00 — Introduction

TimePaperAuthorsLen
9:05A* with h^max Definitely Finds Optimal Plans – Formally Verifying a Planner Based on Heuristic SearchGregor Behnke, Simone Kilian and Malvin GattingerL
9:20Eager vs. Lazy Duplicate Detection in A*Yuki Suzuki and Alex FukunagaL
9:35Base Strategy Still Matters: Triangle Search in Domain-Independent PlanningJordan Thayer, Sofia Lemons and Jendrik SeippL
9:50Compact Representatives of Potential HeuristicsSimon Dold and Malte HelmertS
10:00Delete Relaxation with AxiomsTravis Rivera Petit, Simon Dold, David Speck and Malte HelmertL
10:15GONDOR to the Rescue: Satisficing Planning with Low MemoryYonatan Vernik, Alexander Tuisov and Alexander ShleyfmanS
Coffee break - 10:30-10:50
Session 210:50–12:30
TimePaperAuthorsLen
10:50Parallelizing Classical Planning: Critical Path Heuristics on the GPUMarkus Fritzsche, David Speck, Daniel Gnad and Simon StåhlbergS
11:00Parallel Lifted Planning via Semi-Naive Datalog EvaluationDominik Drexler, Oliver Joergensen and Jendrik SeippL
11:15Distributed Parallel Datalog in Automated PlanningOliver Joergensen, Dominik Drexler and Jendrik SeippL
11:30Dynamic Tree Databases in Automated PlanningOliver Joergensen, Dominik Drexler and Jendrik SeippL
11:45Pattern Database Heuristics for Lifted PlanningMika Skjelnes, Dominik Drexler, Jordan Thayer, Daniel Gnad and Jendrik SeippS
11:55Reviving Partial Order Causal Link (POCL) Planning: Is It Possible? Is It Worth It?Scott Howsam, Harrison Oates and Pascal BercherL
12:10A Quantitative Evaluation Pipeline for Map Partitioning for Grid PathfindingYan Wu, Chenyuan Zhang, Yangmengfei Xu and Guang HuL
Lunch break - 12:30-14:00

Afternoon

Session 314:00-15:30
TimePaperAuthorsLen
14:00When Local Plans Cannot Be Global: A Sheaf-Theoretic View of Decomposition in Numeric PlanningJiajia Song and Guang HuL
14:15On the Optimality of Numeric Planning with Control VariablesÁngel Aso-Mollar, Diego Aineto, Enrico Scala and Eva OnaindiaL
14:30A Notion of Width for Numeric Planning ProblemsGiacomo Rosa, Nir Lipovetzky, Jean Honorio, Sebastian Sardina and Enrico ScalaL
14:45Domain-Abstraction Heuristics for Simple Numeric PlanningMarkus Fritzsche, Mikhail Gruntov, Alexander Shleyfman and Daniel GnadS
14:55Counting Plans with Heuristic State-Space SearchDavid SpeckS
15:05Make Yourself Special: Qualified Dominance Task Reformulation For Optimal PlanningRasmus Tollund and Álvaro TorralbaL
Coffee break - 15:30-15:50
Session 415:50-17:30
TimePaperAuthorsLen
15:50Bounded-Suboptimal Beam SearchDevin Wild Thomas, Stephen Wissow, Michael Bauer, Paige McAfee and Wheeler RumlL
16:05Computing Potential Heuristics Without Grounding PDDL ActionsPascal Lauer, Álvaro Torralba and Daniel FišerL
16:20A Comparison of Cost Partitioning Algorithms for Multiple Sequence AlignmentMika Skjelnes, Daniel Gnad and Jendrik SeippL
16:35Learning Admissible Heuristics via Cost PartitioningHugo Barral, Quentin Cappart, Marie-José Huguet and Sylvie ThiébauxL
16:50Bound-Aware Heuristic Discovery with Large Language Models: A 15-Puzzle Case StudyXiaojia Li, Csaba Kiss, Roland Molontay and József PintérL
17:05Automated Planning with Incomplete Open World ModelsMikhail SoutchanskiL

17:20 — Closing remarks

Talk length is shown in the last column: L = long paper (12+3 min), S = short paper (8+2 min).

Submission Details

Please format submissions in AAAI style (see instructions in the Author Kit at this link). Long (up to 9 pages including references) and short (up to 5 pages including references) papers are the standard category, submissions shorter than the page limit are welcome. Long papers will be allocated a longer presentation at the workshop.

Submissions will be made through EasyChair: Submission Website

The following conditions apply:

  • Submissions will be double blind (except for two program chairs who will see author names).
  • Papers will be reviewed by a member of the organizing committee, and/or external reviewers selected by the organizing committee, according to the usual criteria such as relevance to the workshop, significance of the contribution, and technical quality.
  • Discussions between reviewers and organizers will remain private.

At least one author of each accepted paper must attend the workshop in order to present the paper.

Policy on Previously Published Materials

Previously published papers to conferences other than ICAPS are allowed. They will only receive a light review for relevance by a member of the organizing committee. Please do not submit papers accepted at the main conference.

Rejected papers from the main conference are welcome if you do your utmost to address the comments given by ICAPS reviewers.

Parallel submissions sent to other conferences are allowed from our side. It is your responsibility to ensure that those venues allow for papers submitted to be published in parallel “informal” ways (e.g. in workshop proceedings or websites without associated ISSN/ISBN).

Workshop Committee

Organizing Committee

You can contact us at hsdip@googlegroups.com.