Differences

This shows you the differences between two versions of the page.

--- software [2025/01/13 11:07] – admin
+++ software [2025/01/13 11:08] (current) – [SibylSAT Planner] admin
@@ Line 13: / Line 13: @@
 ===== SibylSAT Planner =====
+###
 **[[https://github.com/gaspard-quenard/sibylsat|SibylSat]]** is an incremental SAT-based planner for totally-ordered HTN planning problems based on a fork of the Lilotane planner. Like lilotane and other current SAT-based solver, SibylSat adheres to a standard procedure of alternating between expanding the search space, encoding it into a SAT formula, and invoking a SAT solver to find a solution plan. However, it differ from the other SAT-based planner in that it uses a greedy best first search to explore the search space instead of the usual breadth-first search.
   * Gaspard Quenard, Damien Pellier, Humbert Fiorino: [[https://cnrs.hal.science/LIG_SIC_MARVIN/hal-04764696v1|SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning]]. ECAI 2024: 4157-4164
 ###