Publications

Articles de revues internationales

2020 Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel, XCSP3 and its ecosystem in Constraints Journal (Constraints),pp. 1-23, 2020.

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

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Using Local Search to Find \MSSes and MUSes in European Journal of Operational Research,vol. 199, n° 3, pp. 640-648, 2009.

Articles de conférences internationales

2019 Cédric Piette, Eric Piette, Matthew Stephenson, Dennis Soemers, Cameron Browne, Ludii and XCSP: Playing and Solving Logic Puzzles in IEEE Conferences on Games (COG'19),2019.

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),2014.

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

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

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe, a Parallel Clause-Freezer Solver in SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43-44, 2012.

2012 Gilles Audemard, Benoît Hoessen, Said 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, vol. 7962, pp. 200-213, 2012.

2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel DPLL: System Description in Pragmatics of SAT (POS'11),pp. 127-132, 2011.

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, 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),2010.

2009 Eric Gregoire, Bertrand Mazure, Cédric Piette, Localiser des sources d'incohérence spécifiques sans les calculer toutes in Actes des Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 95-105, 2009.

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, pp. 100-115, 2009.

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, pp. 335-349, 2009.

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

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),pp. 74-83, 2008.

Articles de revues nationales

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 des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle,vol. 26, n° 3, pp. 209-224, 2012.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction d'ensembles minimaux conflictuels basée sur la recherche locale in Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle,vol. 22, n° 2, pp. 161-181, 2008.

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 Revue I3 - Information Interaction Intelligence,vol. 8, n° 2, pp. 181-202, 2008.

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

Articles de conférences nationales

2013 Gilles Audemard, Benoît Hoessen, Said 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.

2012 Gilles Audemard, Benoît Hoessen, Said 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, 2012.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT: mieux collaborer pour aller plus loin in JFPC 2012,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, 2011.

2011 Youssef Hamadi, Said 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. 162-172, 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),2009.

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

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, 2008.

2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, Vivification de formules propositionnelles clausales in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 277-285, 2008.

Chapitres d'ouvrages

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Sous-formules minimales insatisfaisables in Problème SAT : progrès et défis,pp. 221-242, Hermès, 2008.

Rapports techniques

2021 Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette, XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems 2021.

2021 Frederic Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette, XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems 2021.

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

2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel (DP)2LL 2011.

2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, preSAT: SAT Solver Description 2008.