- - Aspects théoriques et pratiques de la Programmation par Contraintes et ses applications (modélisation, méthodes de résolution, etc.)
- - Algorithmique et metaheuristiques pour la résolution du problème SAT
- - Logique pour l'intelligence artificielle
Trier par type de publication
2011
-
Youssef HAMADI,
Said JABBOUR,
Cédric PIETTE,
Lakhdar SAïS,
« Concilier Parallélisme et Déterminisme dans la Résolution de SAT »,
in Journées Francophones de la Programmation par Contraintes (JFPC'11), pp. A paraitre, june 2011.
[BibTeX]
-
Youssef HAMADI,
Said JABBOUR,
Cédric PIETTE,
Lakhdar SAïS,
« Deterministic Parallel DPLL: System Description »,
in Pragmatics of SAT (POS'11), june 2011.
[BibTeX]
-
Philippe BESNARD,
Éric GRéGOIRE,
Cédric PIETTE,
Badran RADDAOUI,
« Génération d'arguments et contre-arguments par calcul de MUS »,
in 10e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'11), pp. A paraître, may 2011.
[BibTeX]
-
Youssef HAMADI,
Said JABBOUR,
Cédric PIETTE,
Lakhdar SAïS,
« Deterministic Parallel (DP)2LL »,
Technical report, Microsoft Research Cambridge, april 2011.
[pdf][BibTeX]
-
Youssef HAMADI,
Said 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.
[pdf][BibTeX]
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 (IRI'10), pp. 239-244, august 2010.
[pdf][BibTeX]
-
Souhila KACI,
Cédric PIETTE,
« Ordering Intervals: From Qualitative Temporal Constraint Problems to Preference Representation »,
in 10th Workshop on Preferences and Soft Constraints (Co-located with CP 2010) (SOFT10), pp. to appear, august 2010.
[BibTeX]
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-646, december 2009.
[pdf][BibTeX]
-
Cédric PIETTE,
Youssef HAMADI,
Lakhdar SAïS,
« Efficient Combination of Decision Procedure for MUS Computation »,
in The 7th International Symposium on Frontiers of Combining Systems (FroCos'09), LNCS, pp. 335-349, september 2009.
[pdf][BibTeX]
-
É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), LNCS, pp. 100-115, august 2009.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Localiser des sources d'incohérence spécifiques sans les calculer toutes »,
in Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 95-104, june 2009.
[pdf][BibTeX]
-
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), pp. To appear, may 2009.
[BibTeX]
2008
-
Cédric PIETTE,
« Let the Solver Deal with Redundancy »,
in The 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08), pp. 67-73, november 2008.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« On Approaches to Explaining Infeasibility of Sets of Boolean Clauses »,
in The 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08), pp. 74-83, november 2008.
[pdf][BibTeX]
-
Cédric PIETTE,
« Redondance dans les CNF : laissons le solveur agir »,
in Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'08), october 2008.
[pdf][BibTeX]
-
É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, august 2008.
[pdf][BibTeX]
-
Cédric PIETTE,
Youssef HAMADI,
Lakhdar SAïS,
« Vivifying propositional clausal formulae »,
in 18th European Conference on Artificial Intelligence (ECAI'08), pp. 525-529, july 2008.
[pdf][BibTeX]
-
Cédric PIETTE,
Youssef HAMADI,
Lakhdar SAïS,
« Vivification de formules propositionnelles clausales »,
in Quatrièmes Journées Francophones de Programmation par Contraintes (JFPC'08), pp. 277-286, june 2008.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Extraction d'ensembles minimaux conflictuels basée sur la recherche locale »,
in Revue d'Intelligence Artificielle (RSTI- RIA), vol. 22, n° 2, pp. 161-181, april 2008.
[BibTeX]
-
Cédric PIETTE,
Youssef HAMADI,
Lakhdar SAïS,
« preSAT: SAT Solver Description »,
Technical report, CRIL, april 2008.
[pdf][BibTeX]
-
É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 16ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), pp. 258-267, january 2008.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Sous-formules minimales insatisfaisables »,
in Problème SAT : progrès et défis, chapter 8, Lakhdar Saïs(Eds.), Hermes, 2008.
[BibTeX]
-
É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.
[BibTeX]
2007
-
Cédric PIETTE,
« Techniques algorithmiques pour l'extraction de formules minimales inconsistantes »,
PhD Thesis, Université d'Artois, Lens, november 2007.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Local-Search Extraction of MUSes »,
in Constraints , vol. 12, n° 3, pp. 325-344, september 2007.
[pdf][BibTeX]
-
É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, september 2007.
[pdf][BibTeX]
-
É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, june 2007.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle »,
in International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 2300-2305, january 2007.
[pdf][BibTeX]
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, november 2006.
[pdf][BibTeX]
-
É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, november 2006.
[pdf][BibTeX]
-
É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, september 2006.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Extracting MUSes »,
in 17th European Conference on Artificial Intelligence (ECAI'06), pp. 387-391, august 2006.
[pdf][BibTeX]
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« Extraction de sous-formules minimales inconsistantes »,
in Secondes Journées Francophones de Programmation par Contraintes (JFPC'06), pp. 201-208, june 2006.
[pdf][BibTeX]
2005
-
Éric GRéGOIRE,
Bertrand MAZURE,
Cédric PIETTE,
« A new local search algorithm to compute inconsistent kernels »,
in 6th International Meta-heuristics International Conference (MIC'05), Actes électroniques, august 2005.
[pdf][BibTeX]
-
Cédric PIETTE,
« Méta-heuristiques pour la détection de noyaux inconsistants minimaux »,
Master Thesis, Lens, France, july 2005.
[BibTeX]
Co-auteurs
- Éric GRéGOIRE (21)
- Bertrand MAZURE (19)
- Lakhdar SAïS (9)
- Youssef HAMADI (8)
- Said JABBOUR (4)
- Souhila KACI (2)
- Philippe BESNARD (2)
- Badran RADDAOUI (2)
- (A)OMUS est un extracteur de Formules Minimales Insatisfiables (MUS) basé sur la recherche locale, formellement présenté ici : [pdf]. Une comparaison entre les techniques permettant l'approximation d'un MUS, et une autre où le but est d'extraire un MUS sont également disponibles. Le code source est disponible ici.
AOMUS peut être greffé au nouvel algorithme d'extraction de MUS, MiniUnsat, développé par Siert Wieringa. Cette combinaison d'algorithmes permet d'obtenir de très bons résultats en pratique, tels que ceux présentés dans l'article "Finding guaranteed MUSes fast" (par Hans van Maaren et Siert Wieringa, SAT'08).
- HYCAMest une version améliorée d'un algorithme de Mark Liffiton et Karem Sakallah (basé sur Minisat) dont le but est de calculer tous les MUS d'une formule CNF. C'est en fait une hybridation d'une méthode complète avec une recherche locale permettant un gain d'un ordre de grandeur pour de nombreuses CNF, sans être plus lents en cas d'échec. L'idée générale est présentée ici : [pdf], et la procédure est disponible ici.
- The MUC Extraction Page Cette page propose une approche heuristique récente pour calculer un ensemble insatisfiable minimal de contraintes de CSP discrets, également appelés MUC. Cette technique, baptisée CB(full-wcore), est basée sur des informations heuristique fournies par des preuves d'incohérence d'un problème donné. Il améliore une technique précédemment proposée, qui était la plus efficace à ce jour. Exécutables, résultats expérimentaux et jeux de tests sont disponibles [ici] (en anglais uniquement).
- MUSTER est un extracteur de MUST (Minimally Unsatisfiable Set of Tuples) au sein d'un CSP insatisfiable, présenté ici : [pdf]
Le code étant peu présentable, il n'est pas disponible pour l'instant. Une nouvelle version est en cours de développement, et sera probablement disponible d'ici fin 2009.
-
ReVivAl
Fruit d'une collaboration entre Youssef Hamadi, Lakhdar Saïs et moi-même, ReVivAl (pour pReprocessing based on Vivification Algorithm)
est une nouveau prétraitement pour formules CNF qui vise à produire des sous-clauses et générer de nouvelles clauses pertinentes. Son efficacité est liée à sa complète intégration au sein d'un solver SAT. Ainsi, il bénéficie des structures de données/mécanismes classiques des implémentations DPLL modernes (watched literals, apprentissage, heuristiques de type VSIDS, etc.), accélérant la production de (sous-)clauses. Une page dédiée à ReVivAl est disponible ici (en anglais).
Une nouvelle version (0.23) de ReVivAl est disponible. Cette version a été expérimentalement evaluée ; synthèse et résultats détaillés sont disponibles ici.
Nouveau !
Differentes combinaisons de ReVivAl et SatElite ont été soumises au preprocessor track de la compétition SAT 2009. Les résultats finaux placent les procédures soumises 2ème pour les catégories APPLICATION et CRAFTED (et 1ère dans la catégorie UNSAT CRAFTED).
- 2008-2009 :
-
- Structures de données
-
- Programmation web
-
- Réseau
-
- Analyse et Conception des systèmes d'information
-
- Base de données
-
- Programmation orientée objet
- 2007-2008 :
-
- Certificat Informatique et Internet (C2i)
(57h)
-
- xHTML / CSS
(15h)
-
- Programmation 3
(24h)
- 2006-2007 :
-
- C avancé
(21h)
-
- Introduction à UNIX / C
(39h)
-
- Certificat Informatique et Internet (C2i)
(27h)
- 2005-2006 :
-
- C avancé
(30h)
-
- Tableur / Base de données
(avec OpenOffice)
(30h)
-
- Introduction à UNIX / C
(21h)
-
- HTML / PHP
(5h15)
- 2004-2005 :
-
- Introduction à Maple
(24h)
- Depuis Juin 2008
- Novembre 2006-Août 2009
- Novembre 2004-Novembre 2006
- - Membre élu du Conseil des Etudes et de la Vie Universitaire (CEVU) de l'Université d'Artois
- - Membre nommé de l'Equipe Universitaire de Direction de l'Artois (EUDA) de l'Université d'Artois
