2 citations · 2 across the 3 of their papers we have counts for
3 papers
Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding
Gaspard Quenard, Takudzwa Togarepi, Damien Pellier +1
While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investigate numerical Totally-Ordered…
Lose the Order, Keep the Hierarchy: Deordering HTN Plans
Takudzwa Togarepi, Gaspard Quenard, Damien Pellier +1
Hierarchical Task Network (HTN) planning is a powerful planning formalism based on task decomposition. Although most of the literature studied plan generation, comparatively less a…
SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
Gaspard Quenard, Damier Pellier, Humbert Fiorino
This paper presents SibylSat, a novel SAT-based method designed to efficiently solve totally-ordered HTN problems (TOHTN). In contrast to prevailing SAT-based HTN planners that emp…