Mazure, Bertrand

6 publications

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

AAAI 2014 An Experimentally Efficient Method for (MSS, CoMSS) Partitioning Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure

IJCAI 2013 Preserving Partial Solutions While Relaxing Constraint Networks Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure

IJCAI 2007 Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle Éric Grégoire, Bertrand Mazure, Cédric Piette

AAAI 1997 Tabu Search for SAT Bertrand Mazure, Lakhdar Sais, Éric Grégoire

IJCAI 1997 Tractable Cover Compilations Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais