Publications

International journal(s)

2011 Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel DPLL in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 7, n° 4, pp. 127-132, 2011. [Download]

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Using local search to find MSSes and MUSes in European Journal of Operational Research (EJOR),vol. 199, n° 3, pp. 640-646, decembre 2009.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, On Finding Minimally Unsatisfiable Cores of CSPs in International Journal on Artificial Intelligence Tools (IJAIT),vol. 17, n° 4, pp. 745 - 763, août 2008.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Local-Search Extraction of MUSes in Constraints,vol. 12, n° 3, pp. 325-344, septembre 2007.

International conference(s)

2015 Frédéric Boussemart, Christophe Lecoutre, Arnaud Malapert, Cédric Piette, About Benchmarking and Competitions of Solvers in Constraint Programming in 4th Workshop on The International Planning Competition (WIPC’15),pp. 1-5, juin 2015. [Download]

2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, Dolius: A Distributed Parallel SAT Solving Framework in Pragmatics of SAT 2014 (POS’14),juillet 2014.

2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, An Effective Distributed D&C Approach for the Satis?ability Problem in 22nd International Conference on Parallel, Distributed and Network-Based Computing (PDP’14),pp. 183-187, février 2014.

2013 Éric Grégoire, Atef Hasni, Cédric Piette, Bertrand Mazure, Solving E-SquarO through SAT-coding in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE Press, pp. 955-962, 2013.

2012 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe, a Parallel Clause-Freezer Solver in Proceedings of SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43–44, mai 2012. (https://helda.helsinki.fi/handle/10138/34218)

2012 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, Revisiting Clause Exchange in Parallel SAT Solving in 15th International Conference on Theory and Applications of Satisfiability Testing (SAT’12),Springer, Lecture Notes in Computer Science(LNCS), vol. 7962, pp. 200–213, mai 2012.

2011 Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel DPLL: System Description in Pragmatics of SAT (POS’11),pp. 127-132, juin 2011. (dans le cadre de SAT’11)

2010 Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui, MUS-Based Generation of Arguments and Counter-arguments in 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI’10),pp. 239-244, août 2010.

2010 Souhila Kaci, Cédric Piette, Ordering Intervals: From Qualitative Temporal Constraint Problems to Preference Representation in 10th Workshop on Preferences and Soft Constraints (SOFT’10),août 2010. (dans le cadre de CP’10)

2009 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, Efficient Combination of Decision Procedure for MUS Computation in 7th International Symposium on Frontiers of Combining Systems (FroCos’09),Springer, Lecture Notes in Computer Science (LNCS), vol. 5749, pp. 335-349, septembre 2009. [Download]

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Does this set of clauses overlap with at least one MUS? in 22nd International Conference on Automated Deduction (CADE 22),Springer, Lecture Notes in Computer Science (LNCS), vol. 5663, pp. 100-115, août 2009.

2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, Vivifying propositional clausal formulae in 18th European Conference on Artificial Intelligence (ECAI’08),pp. 525-529, juillet 2008. [Download]

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, On Approaches to Explaining Infeasibility of Sets of Boolean Clauses in 20th International Conference on Tools with Artificial Intelligence (ICTAI’08),IEEE Computer Society, pp. 74-83, novembre 2008.

2008 Cédric Piette, Let the Solver Deal with Redundancy in 20th International Conference on Tools with Artificial Intelligence (ICTAI’08),IEEE Computer Society, pp. 67-73, novembre 2008.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07),pp. 2300-2305, janvier 2007.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST: Provide a Finer-Grained Explanation of Unsatisfiability in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),LNCS 4741, pp. 317-331, septembre 2007. [Download]

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Tracking MUSes and Strict Inconsistent Covers in Sixth ACM/IEEE International Conference on Formal Methods in Computer Aided Design (FMCAD’06),pp. 39-46, novembre 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extracting MUSes in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006),pp. 387-391, août 2006. [Download]

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Une méta-heuristique basée sur le comptage de contraintes falsifiées in First workshop on Metaheuristics (META’06),Actes électroniques, novembre 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Saïs, A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs in Proceedings of the IEEE International Conference on Information Reuse and Integration (IEEE-IRI’2006),pp. 325-329, septembre 2006.

2005 Éric Grégoire, Bertrand Mazure, Cédric Piette, A new local search algorithm to compute inconsistent kernels in Proceedings of the 6th International Meta-heuristics International Conference (MIC’05),Actes électroniques, août 2005.

National journal(s)

2012 Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui, Calcul d’arguments et de contre-arguments fondé sur les noyaux inconsistants in Revue d’Intelligence Artificielle (RIA),vol. 26, n° 3, pp. 209-224, mai 2012.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST et couvertures de MUST pour l’explication et la réparation de CSP incohérents au niveau tuple in Information-Interaction-Intelligence (Revue I3),vol. 8, n° 2, pp. 181-202, 2008.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction d’ensembles minimaux conflictuels basée sur la recherche locale in Revue d’Intelligence Artificielle (RIA),vol. 22, n° 2, pp. 161-181, avril 2008.

National conference(s)

2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, Un nouveau cadre diviser pour régner pour SAT distribué in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 51-58, 2013. [Download]

2012 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT : mieux collaborer pour aller plus loin in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 35–44, mai 2012.

2011 Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui, Génération d’arguments et contre-arguments par calcul de MUS in 10ièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’11),pp. 827-840, mai 2011. (prix du meilleur papier)

2011 Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Saïs, Concilier Parallélisme et Déterminisme dans la Résolution de SAT in 7ièmes Journées Francophones de la Programmation par Contraintes (JFPC’11),pp. 163-172, juin 2011.

2009 Souhila Kaci, Cédric Piette, Looking for the Best and the Worst in Colloque sur l’Optimisation et les Systèmes d’Information (COSI’09),mai 2009.

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Localiser des sources d’incohérence spécifiques sans les calculer toutes in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 95-104, juin 2009.

2008 Cédric Piette, Redondance dans les CNF : laissons le solveur agir in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’08),octobre 2008. [Download]

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Explication et réparation de l’incohérence dans les CSP : de la contrainte au tuple in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),pp. 258-267, janvier 2008.

2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, Vivification de formules propositionnelles clausales in 4ièmes Journées Francophones de Programmation par Contraintes (JFPC’08),pp. 277-286, juin 2008.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 143-150, juin 2007.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction de sous-formules minimales inconsistantes in Actes des secondes Journées Francophones de Programmation par Contraintes (JFPC’2006),pp. 201-208, juin 2006.

Book chapter(s)

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Sous-formules minimales insatisfaisables in Problème SAT : progrès et défis,chapitre 8, pp. 221-242, Lakhdar Saïs (Eds.), Hermes, 2008.

PhD thesis

2007 Cédric Piette, Techniques algorithmiques pour l’extraction de formules minimales inconsistantes Université d’Artois, Lens, novembre 2007. [Download]

Technical report(s)

2016 Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems Cornell University Library, novembre 2016. [Download]

2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 Helsinki, mai 2013. [Download]

2011 Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel (DP)2LL Microsoft Research Cambridge, avril 2011. [Download]

2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, preSAT: SAT Solver Description CRIL, avril 2008. [Download]

Master report(s)

2005 Cédric Piette, Méta-heuristiques pour la détection de noyaux inconsistants minimaux Lens, France, juillet 2005.