@misc{indiciae7cafd7533998,
  title = {SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning},
  author = {Gaspard Quenard and Damier Pellier and Humbert Fiorino},
  year = {2024},
  doi = {10.3233/faia240987},
  url = {https://arxiv.org/abs/2411.02035},
  note = {Source identifier: 2411.02035}
}