Audemard, Gilles

13 publications

AAAI 2024 Check-in Desk Scheduling Optimisation at CDG International Airport Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure

IJCAI 2024 Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2024 On the Computation of Example-Based Abductive Explanations for Random Forests Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2024 PyXAI: An XAI Library for Tree-Based Models Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2023 Computing Abductive Explanations for Boosted Regression Trees Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis

AISTATS 2023 Computing Abductive Explanations for Boosted Trees Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2022 On Preferred Abductive Explanations for Decision Trees and Random Forests Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

AAAI 2022 Trading Complexity for Sparsity in Random Forest Explanations Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2013 Just-in-Time Compilation of Knowledge Bases Gilles Audemard, Jean-Marie Lagniez, Laurent Simon

AAAI 2010 A Restriction of Extended Resolution for Clause Learning SAT Solvers Gilles Audemard, George Katsirelos, Laurent Simon

IJCAI 2009 Predicting Learnt Clauses Quality in Modern SAT Solvers Gilles Audemard, Laurent Simon

IJCAI 2007 GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability Gilles Audemard, Laurent Simon

IJCAI 2007 Symmetry Breaking in Quantified Boolean Formulae Gilles Audemard, Saïd Jabbour, Lakhdar Sais