January 6, 2025Laboratoire d’Algorithmique, Complexité et Logique (LACL)Members : Régine Laleau, Frédéric Gervais, Youssouf Oualhadj