Grégoire, Éric

9 publications

IJCAI 2018 Boosting MCSes Enumeration Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

IJCAI 2016 On Consensus Extraction Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez

AAAI 2016 On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

AAAI 2015 On Computing Maximal Subsets of Clauses That Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez

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