2023 Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura,
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks
in
14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), SCITEPRESS, 2023.
2023 Thibault Falque, Bertrand Mazure, Karim Tabia,
Predicting off-block delays: A case study at Paris-Charles de Gaulle International Airport
in
15th International Conference on Agents and Artificial Intelligence (ICAART 2023), vol. 2, pp. 180-189, 2023.
2023 Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel,
Compressing UNSAT Search Trees with Caching
in
ICAART 2023 : 15th International Conference on Agents and Artificial Intelligence, 2023.
2023 Thibault Falque, Jean-Marie Lagniez, Romain Wallon,
Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles
in
24e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'23), 2023.
2023 Thibault Falque, Bertrand Mazure, Karim Tabia,
Prédire et expliquer les retards au décollage : Une étude de cas à l'aéroport international de Paris-Charles de Gaulle
in
23ème conférence francophone sur l'extraction et la gestion des connaissances (EGC 2023), vol. RNTI-E-39, 2023.