notesum.ai

Published at November 4

SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning

cs.AI

Released Date: November 4, 2024

Authors: Gaspard Quenard¹, Damier Pellier¹, Humbert Fiorino¹

Aff.: ¹University Grenoble Alpes, LIG, F-38000 Grenoble, France

Arxiv: http://arxiv.org/abs/2411.02035v1