Work

SibylSatOpt: a MaxSAT-based Greedy Optimal Search for TOHTN Planning

Year: 2025

Type: conference-paper

Abstract: This paper introduces SibylSatOpt, a novel approach to finding optimal plans for Totally-Ordered HTN (TOHTN) problems by leveraging greedy search techniques with MaxSAT. Unlike previous SAT-based HTN planners that employed a blind breadth-first search strategy, SibylSatOpt is guided by an admissible heuristic. This heuristic combines a relaxed MaxSAT encoding of the problem with the Task Decomposition Graph (TDG) heuristic. As we demonstrate, the admissibility of the heuristic guarantees that the found solution is optimal. Experimental results on IPC benchmarks show that SibylSatOpt significantly outperforms existing optimal TOHTN planners in both runtime and problem coverage.

Source: Proceedings of the International Conference on Automated Planning and Scheduling

DOI: 10.1609/icaps.v35i1.36124

Authors: Gaspard Quenard, Damien Pellier, Humbert Fiorino

Institution: Université Grenoble Alpes

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Agence Nationale de la Recherche

Awards: MIAI @ Grenoble Alpes, G3010527862