Mohamed Réda SAÏDI

Membre de l'équipe INCA   Fonction : Attaché temporaire d'enseignement et de recherche, Post-doctorant (ATER post-doc.) UFR : Université de la Méditerranée (U2)   Tél. : 04 91 11 35 41 E-mail : mohamedsaidilsisorg   Adresse :  Laboratoire des Sciences de l'Information et des Systèmes (LSIS - UMR 6168) Université de Provence (U1) - Centre de Mathématiques et d'Informatique Technopôle Château-Gombert 39, rue F. Joliot Curie 13453 Marseille Cedex 13 Bureau : R117

	Thèse soutenue jeudi 13 décembre 2007, à 14h30 - CMI - Technopôle de Château Gombert en salle C101 Etude de la symétrie et de la dominance dans les réseaux de contraintes au sens CSPs à domaines finis discrets

THÈSE

Sujet de thèse : Symétrie et Décomposition dans les Problèmes de Satisfaction de Contraintes (CSPs) Directeur(s) de thèse : Belaïd Benhamou Résumé : La symétrie et la décomposition de contraintes sont deux approches connues dans la résolution de contraintes. Leurs apports ont été considérables dans la résolution de problèmes réputés difficils. Nous voulons étudier les avantages et les inconvénients qui peuvent émerger de leur association. Pour se faire, nous nous sommes intéressé dans un premier temps aux contraintes de différence. Les CSPs à contraintes de différence sont des CSPs particuliers où toutes les contraintes sont des contraintes de différence. Une contrainte de différence entre deux variables Xi et Xj du CSP, exprime l’inégalité entre elles. Dans les CSPs à domaines finis discrets cette contrainte force les deux variables Xi et Xj à prendre deux valeurs différentes. Ce cadre restreint de CSP est suffisamment expressif pour représenter des problèmes du domaine de l’intelligence artificielle. Plusieurs travaux de recherche ont été consacrés pour résoudre ces réseaux de contraintes. Un premier travail a porté sur l’association des propriétés de symétries et des techniques de décomposition pour la résolution des CSP à contraintes de différence. Nous avons appliqué les résultats pour résoudre des instances du problème de coloriage de graphes (instances de DIMACS, et instances aléatoires). Cette étude sera étendu dans le futur aux CSP à contraintes quelconques pour couvrir un champs d’application plus large.

PUBLICATIONS

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]

@inproceedings {BenhamouSaidi08a, audience = {nationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Saidi}, title = {Une nouvelle m\'{e}thode bas\'{e}e sur la dominance et la coloration pour le test d'inconsistance de CSPs}, booktitle = {JFPC'08}, year = {2008}, equipe = {INCA} }

@inproceedings {BenhamouSaidi08, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {A new incomplete method for CSP inconsistency checking}, booktitle = {Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08)}, publisher = {AAAI Press}, address = {Chicago, Illinois, USA}, month = {juillet}, year = {2008}, note = {à paraître}, equipe = {INCA} }

@inproceedings {BenhamouSd, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Detecting and Eliminating Local Symmetry During Search in CSPs}, booktitle = {3rd Indian International Conference on Artificial Intelligence (IICAI-07)}, editor = {Bhanu Prasad}, number = {ISBN 978--0-9727412--2-4}, pages = {151--166}, address = {Pune, India}, month = {d\'{e}cembre}, year = {2007}, equipe = {INCA} }

@inproceedings {BenhamouSe, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Local Symmetry Breaking During Search in CSPs}, booktitle = {The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007)}, editor = {Springer}, series = {LNCS}, volume = {4741}, pages = {195--209}, address = {Providence, USA}, month = {septembre}, year = {2007}, equipe = {INCA} }

@inproceedings {BenhamouSaidi07, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Dynamic Detection and Elimination of Local Symmetry in CSPs}, booktitle = {The CP 2007 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07)}, editor = {B. Benhamou, B.Y. Choueiry, and B. Hnich (Eds.)}, pages = {22--29}, address = {Providence, USA}, month = {septembre}, year = {2007}, equipe = {INCA} }

@inproceedings {ZDSB07, audience = {internationale}, author = {St\'{e}phane Zampelli and Yves Deville and Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou}, title = {Symmetry Breaking in Subgraph Isomorphism}, booktitle = {The CP 2007 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07)}, address = {Providence, USA}, month = {septembre}, year = {2007}, note = {à paraître}, equipe = {INCA} }

@inproceedings {BenhamouSc, audience = {nationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Elimination des sym\'{e}tries locales durant la r\'{e}solution des CSPs}, booktitle = {Actes des troisi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC’2007)}, pages = {245--254}, address = {Rocquencourt, France}, month = {juin}, year = {2007}, equipe = {INCA} }

@inproceedings {BenhamouSb, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Eliminating Local Symmetry in CSPs}, booktitle = {The International Symmetry Conference (ISC 2007)}, address = {Edinburgh, SCOTLAND}, month = {janvier}, year = {2007}, equipe = {INCA} }

@inproceedings {ZDSBD07, audience = {internationale}, author = {St\'{e}phane Zampelli and Yves Deville and Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou and Pierre Dupont}, title = {Breaking Local Symmetries in Subgraph Pattern Matching}, booktitle = {The International Symmetry Conference (ISC 2007)}, address = {Edinburgh, SCOTLAND}, month = {janvier}, year = {2007}, equipe = {INCA} }

@inproceedings {BenSaCP06, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Reasoning by dominance in Not-Equals binary constraint networks}, booktitle = {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP 2006 )}, editor = {Springer}, series = {LNCS}, volume = {4204}, pages = {670--674}, address = {Cit\'{e} des Congr\`{e}s - Nantes, France}, month = {septembre}, year = {2006}, equipe = {INCA} }

@inproceedings {BenhamouSa, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Reasoning by dominance in Not-Equals binary constraint networks}, booktitle = {The CP 2006 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'06)}, pages = {9--16}, address = {Cit\'{e} des Congr\`{e}s - Nantes, France}, month = {septembre}, year = {2006}, equipe = {INCA} }

@inproceedings {BenSaJFPC06, audience = {nationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Etude de la dominance dans les CSPs \`{a} contraintes de diff\'{e}rence}, booktitle = {Deuxi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC'2006)}, pages = {63--70}, month = {juin}, year = {2006}, equipe = {INCA} }

@inproceedings {BenSaCOSI06, audience = {internationale}, author = {Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou}, title = {Dealing with symmetry in Not-Equals binary constraint networks: application to graph coloring}, booktitle = {Colloque sur l'Optimisation et les Syst\`{e}mes d'Information (COSI'06)}, address = {Alger, Alg\'{e}rie}, month = {juin}, year = {2006}, equipe = {INCA} }

@inproceedings {BenhamouSaidi05a, audience = {internationale}, author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di}, title = {Some improvements in symmetry elimination in not-equals binary constraint networks}, booktitle = {Proceedings of the satelite workshop of CP 2005, Symmetry and Constraint Satisfaction Problems (SymCon'05)}, pages = {1--7}, address = {Sitges, Spain}, month = {October}, year = {2005}, equipe = {INCA} }

@inproceedings {SaidiBenhamou05, audience = {nationale}, author = {Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou}, title = {Sym\'{e}tries dans les r\'{e}seaux de contraintes de diff\'{e}rence}, booktitle = {7\`{e}me Rencontres Jeunes Chercheurs en Intelligence Artificielle, RJCIA'05}, editor = {Emmanuel Gu\'{e}r\'{e}}, organization = {Plate-Forme AFIA}, pages = {239--252}, address = {Nice, France}, month = {juin 1--3}, year = {2005}, equipe = {INCA} }

webmaster