Lakhdar SAIS' home page

• Home
• Research
• Publications
• Teaching
• Links
• Personal

 

 

My research interests

• Knowledge representation and reasoning
• Resolution of NP-Hard problems
• Propositional logic : models and algorithms
• Satifiability problem (SAT)
• Quantified Boolean Formulas (QBF)
• (Quantified) Constraint Satifaction Problems -(Q) CSP
• Temporal reasoning
• Planning

Current PhD students

• Dominique D'Ameida, "Qualitatives constraint satisfaction"
• Jean-Marie Lagniez, "Méhodes incomplètes pour l'unsatisfiabilité" since september 2008
• Long Guo , "Parallel SAT Solving " Microsoft Research PhD Scholarship, since october 2009
• Badr Kaddour , "Méthodes de décomposition de CSPs ", since october 2009

Past PhD students

• Said Jabbour, defended in december 2008, " De la satisfiabilité propositionnelle aux formules booléeennes quantifi\'ees". Postdoc research position at the joint INRIA-Microsoft Research Centre, Orsay Paris, since septembre 2009
• Julien Vion, defended in november 2007, " Contributions à la résolution générique des problèmes de satisfaction de contraintes". Associate professor at Université de Valenciennes " since september 2009
• Sébastien Tabary, defended in december 2007, " Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes ". Associate professor at IUT de Lens "Université d'Artois"
• Olivier Fourdrinoy, defended in november 2007, " Utilisation de techniques polynomiales pour la résolution pratique de SA". Ingineer in computer Science, SSII Lille, since septembre 2008
• Richard Ostrowski, defended in december 15th, 2004, "Reconnaissance et exploitation de propriétés structurelles pour la résolution du probleme SAT". Associate professor at LSIS "Université de Provence"
• Laure Brisoux, defended in december 2, 2003, "Satifiabilité propositionnelle en informatique aspects algorithmiques et extensions du formalisme". Associate professor at LaRia, "Université Jules Verne Picardie"
• Bertrand Mazure, defended in january 18th, 1999, "De la Satisfaisabilité a la Compilation de Bases de Connaissances Propositionnelles", Associate professor at CRIL, Université d'Artois

Master students

(dea)

• Dominique D’ALMEIDA, january -july 2006, "Résolution de CSP qualitatifs par
  l’utilisation de CSP discrets et SAT"
• Vincent KRAWCSYK, january -july 2006, "Problemes de satisfaction de contraintes
  n-aires"
• Gabriel WESTRELIN, january - july 2005, "Symétries et contraintes"
• Said JABOUR, january -july 2005, "Résolution de formules booléennes quantifiées"
• Sébastien TABARRY, january - july 2005, "Programmation par contraintes et planification temporelle optimale"
• Julien BERTELOO, february - july 2004, "Autour de l’intégration des techniques de
  maintien de cohérence dans les algorithmes de résolution de CSP"
• Olivier FOURDRINOY, february - july 2003, "Hybridation des méthodes de résolution
  pour le probleme SAT"
• Christophe VALMIR, february - july 2003, "Autour de l’extension de la voisinage substituabilité"
• Nabila SI BACHIR, february - july 2002, "Abstraction et résolution de problemes d’optimisation sous contraintes"
• Mohammed DJADANE,february - july 2002, "Problemes de satisfaction de contraintes : backtracking intelligents, randomization et restart"
• Richard OSTROWSKI, february - july2001, "Formules booléennes générales : représentation, abstraction et décompositions"
• Laure BRISOUX, 1995-1996, "De la logique des propositions au premier ordre fini"
• Bertrand MAZURE, année 1994-1995, "Expérimentations, analyse et amélioration des méthodes de résolution du probleme SAT"

Referee of the following Ph.D. theses and habilitations

• MA Jixuan,These de l’université Valenciennes et du Hainaut-Cambrésis, "Traitements des Conflits dans les CSP Distribués : une approche multi-agent avec facteurs d'influence". octobre 2006.
• Etienne CANAUD, These de l’université Claude Bernard Lyon I (rapporteur), "Description hybrides et découvertes de services web sémantiques", december 2, 2005
• Frédéric LARDEUX, These de l’Université d’Angers (rapporteur), "Approches Hybrides pour les problemes de Satisfiabilité (SAT et MAX-SAT)" , november 25th 2005
• Mihaela BUTARU, These de l’Université de Metz (rapporteur), "Problemes de
  satisfaction de contraintes n-aires : résolution séquentielle et parallele", december 9, 2005
• Lamia KEDDAR, These de l’Université de Provence, Marseille, "Sur des généralisations des graphes triangulés : application aux problemes de satisfaction de contraintes", october 24th 2003
• DavidMARTINEZ, These de l’École Nationale Supérieure de l’Aéronautique de Toulouse, "Résolution interactive de problemes de satisfaction de contraintes", december 98

Member of the following Ph.D. theses and habilitations

• Olivier BAILLEUX, Habilitation a diriger des recherches, Université de Bourgogne,
  Dijon, "Contribution a létude et a la résolution de problemes a variables booléennes", january first 2005
• Laurent HENOCQUE, Habilitation a diriger des recherches, Université de Provence,
  Marseille, "Configuration et problemes d’IA" , july 2, 2004
• Florian LETOMBE, These de l’Université d’Artois, "De la validité des formules
  booléennes quantifiées : étude de complexité et exploitation de classes traitables au
  sein d’un prouveur QBF" , december 13th 2005
• Nadege PORQUET, These de l’Université d’Artois, "Contribution a l’étude de
  relations d’inférence paraconsistante sous ressources limitées", december 12th 2005
• Olivier COUTURIER, These de l’Université d’Artois, "Contribution a la fouille
  de données : regles d’association et interactivité au sein d’un processus d’extraction
  de connaissances dans les données", december 12th 2005
• David ANSARD, These de l’Université d’Artois, "Utilisation et extensions de
  l’algorithmique pour SAT pour la résolution de différents problemes d’intelligence
  artificielle", february 4th 2005
• Richard OSTROWSKI, These de l’Université d’Artois," Reconnaissance et exploitation de propriétés structurelles pour la résolution du probleme SAT", december 15th 2004
• Ghania EL BAIDA, These de l’Université d’Artois,"Gestion des Incohérences
  dans les Systemes de Contrôle d’Acces", december 13th 2004
• Bernard JURKOWIAK, These de l’Université Jules Vernes, Picardie, "Programmation
  haute performance pour la résolution des problemes SAT et CSP", october 4th, 2004
• Gilles AUDEMARD, These de l’Université d’Aix-Marseille I," Résolution du probleme SAT et génération des modeles finis pour des théories de la logique du premier ordre", october 2001
• Bertrand MAZURE, These de l’Université d’Artois,"De la satisfaisabilté a la compilation de bases de connaissances propositionnelles", january 99
• Laure BRISOUX, These de l’Université d’Artois, "Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du Formalisme", december 99
• ANBULAGAN, These de l’Université de Technologie de Compiegne,"Hypothese de contrainte : une explication de la réussite de l’heuristique UP dans la résolution des problemes de satisfiabilité des expressions booléennes", june 1998

Committees

• member of the program commitee of the First international symmetry conference 2007, Edinbourg , january 2007
• member of the program commitee of the First Workshop on the integration of SAT
  and CP techniques, International Conference on Constraint Programming, CP’06,
  Nantes, France, 2006
• president of the organizing commitee of the Journées Francophones de Programmation
  par Contraintes JFPC’05, Lens 8-10 Juin 2005
• member of the program commitee of the International Conference on Theory and Applications of Satisfiability Testing SAT’05
• member of the program commitee of the IEEE International Conference on Information
  Reuse and Integration IRI’2004, IRI’05, IRI’06
• member of the program commitee of the Colloque algorithmique, Optimisation combinatoire et Systemes d’Information COSI’05, COSI’06
• member of the program commitee of the 5eme Journées Nationales sur la résolution
  Pratique des problemes NP-Complets, JNPC’99, Lyon, 1999
• program chair and member of the 4eme Journées nationales sur la résolution pratique des problemes NP-Complets, JNPC’98, Ecole
  des Mines de Nantes, 27-29 Mai 1998
• member of the program commitee of the 3eme Journées Nationales sur la résolution Pratique des problemes NP-Complets JNPC’97, Rennes, 1997
• Co-organizer and member of the program commitee of the Workshop
  on advances in propositional deduction ECAI’96, Budapest, 1996
• member of the program commitee of the 2nd Rencontre des Jeunes Chercheurs en IA RJCIA’ 94, Marseille, 1994

Papers review

• International symmetry conference, 2007
• European Journal on Operation Research, 2006
• Revue Techniques des Sciences Informatique, 2006
• Studia Logica, 2005
• European Journal on Operation Research, 2004
• International conference on theory and applications of SATisfiability testing, SAT’04
• International Conference on Tools with Artificial Intelligence ICTAI’2004
• International IEEE International Conference on Information Reuse and Integration
  IRI’2004,IRI’2005, IRI'2006
• International Joint Conference on Artificial Intelligence IJCAI 1997, 1999, 2003 et
  2005, 2006
• International Conference on Constraint Programming CP 1997, 2004
• European Conference on Artificial Intelligence ECAI 1998, 2004
• International Symposium on Theoritical Aspects of Computer Science STACS 1999
  et 2000
• Congres Reconnaissance des Formes et Intelligence Artificielle RFIA 1996, 2004
• Journées Nationales sur la résolution Pratique de problemes NP-Complets JNPC
  1997 a 1999
• Conférence Nationale des Jeunes Chercheurs en Intelligence Artificielle RJCIA 1994
• Revue d’Intelligence Artificielle RIA 1998.

Sessions chairs

• Morning session "SAT modulo theory", international CP workshop on the integration of SAT and CP techniques, Nantes 2006
• Session "QSAT and QCSP", Journées Froncophones de programmation par conraintes, JFPC'2006, Nimes
• Session conférencier invité “Fouille de données et contraintes : ”, JFPC’05
• Session “Décomposition de réseaux de contraintes”, JFPC’05
• Session conférencier invité “Base de données", COSI’05
• Session “contraintes et optimisation”, RFIA’04
• Session “SAT", JNPC’02

Research projects

• Action Franco-Portugaise, Algorithmique pour le calcul des noyaux minimalement
  inconsistant, depuis janvier 2005
• AS STIC Algorithmique et problématique expérimentale pour l’évaluation de formules
  booléennes quantifiées
• Co-responsable du projet Math-STIC CNRS Méthodes hétérogenes d’optimisation
  pour la résolution de problemes industriels, septembre 2002 -septembre 2004
• Action Franco-Portugaise, Mise en place d’une plate-forme logicielle pour la résolution
  du probleme SAT, septembre 2002-septembre 2004.
• Action Franco-Portugaise,Résolution de formules pseudo-booléennes, décembre 2004-
  décembre 2005
• TACT (a présent TAC) Techniques Avancées pour la Communication (et le Transport),
  inscrit au sein du CPER Nord/PasdeCalais, période 0007
• Co-responsable du projet Cocoa, Connaissances Contraintes et Apprentissage
• Projet IRCICA, Composants intelligents de connaissances
• Projet du PRC-IA Booléens : Algorithmes et Heuristiques pour L’Intelligence Artificielle
  (BAHIA), période 92-94.
• Projet du PRC-IA Classes polynomiales, période 92-94.
• Groupe de Travail du PRC-IA Aspects algorithmiques de la résolution de problemes
  exprimés a l’aide de contraintes (RESSAC), période 95-96.
• Projets de recherche Ganymede et Ganymede II, Contrat de plan état/ Région Nord-
  Pas de Calais sur le theme : Communication Avancée et Activités Coopératives période
  95-00

Research association

• Membre fondateur de l’Association Scientifique Algérienne sur les systemes d’information
  et l’aide a la décision, depuis juin 2005
• Membre du conseil d’administration de l’association Française de Programmation
  par contraintes, depuis 2004
• Membre du comité de direction du GdR I3
• Membre de la structure d’animation SA 1.2 du GdR I3Algorithmes pour l’inférence
  et la satisfaction de contraintes, depuis 1999
• Membre de la structure d’animation SA 1.1 Modeles de raisonnements du GdR I3,
  depuis 1999
• Membre de l’association international Automated Reasoning, depuis 1995
• Membre du groupe Mathématique de l’Optimisation et de la Décision, 2003-2004
  

Responsabilities

• Recherche :
  – Responsable de l’axe 2 du CRIL, Algorithmes pour l’inférence et la prise de décision
  – Co-responsable de la structure d’animation SA 1.2 algorithme pour l’inférence et la satisfcation de contraintes du GdR-I3, depuis mars 1999
  – Membre du comité de direction du GdR I3, depuis 1999
  – Membre élu du comité de direction de l’AFPC, depuis 2004
  1999.
  – Responsable de l’organisation de l’opération de soutien aux jeunes chercheurs, JFPC’05, JNPC’2000-2004
  – Responsable des séminaires au Centre de Recherche en Informatique de Lens
  (1995-2000).
  – Responsable de la maintenance du site web du GT1.2 du GdR I3.
  
• Enseignement :
  – Responsable du parcours L Math Info 2003-2005
  – Président du Jury L2 Math Info, depuis 2002
  – Président de la commission d’équivalences, Math Info, UFR des sciences, depuis 2003
  – Responsable DESS IRR partie IA, Toulouse III, 2001
  – Responsable des forums carrieres (depuis septembre 1999).
  – Responsable du suivi des anciens étudiants du département informatique (depuis septembre 1999).
  – Responsable du réseau d’enseignement sous Windows-NT (année 1997).
  – Responsable de la gestion d’une salle TP sous Unix (année 1995).
  

Conseils et commissions

• Membre élu du conseil d’UFR, Faculté des sciences Jean Perrin
• Membre élu du conseil laboratoire, CRIL, Université d’Artois
• Membre élu du conseil scientifique de l’Université d’Artois (1997 - 2000)
• Membre extérieur de la commission de spécialistes, 27eme section Université de Valenciennes (1999-2001, 2003- )
• Membre de la commission de spécialistes, 30eme section , Groupe IV, Université
  d’Artois (20022004)
• Membre extérieur de la commission de spécialistes, 27eme section Université Lille
  III (depuis 2004)
• Membre élu de la commission de spécialistes, 27eme section Université d’Artois
  (depuis 2002)
• Membre extérieur de la commission de spécialistes, 27esection Université d’Amiens
  (1998 - 2001)
• Membre de la commission de documentation de l’Université d’Artois (1997 - 1999).

National and international collaborations

• Youssef HAMADI, Microsoft Research Londres
• Lucas Bordeaux, Microsoft Research Londres
• Richard OSTROWSKI, Pierre SIEGEL, Lionel PARIS, Université d’Aix-Marseille I
• Gilles DEQUEN, , Sylvain DARRAS, Laure DEVENDVILLE, Laria, Amiens
• Frédéric MESSINE, Université de Pau (actuellement a l’EINSEIHT, Toulouse)
• Christian BESSIERE, Lirmm, Montpellier
• Antoine RAUZY, Laboratoire Bordelais de Recherche en Informatique (LaBRI), actuellement au laboratoire IML, Marseille
• Eric GREGOIRE, Vincent VIDAL, Christophe LECOUTRE, Frédéric BOUSSEMARD,
  Fred HEMERY, Jean-François CANDOTTA, Gilles AUDEMARD, Pierre MARQUIS,
  Bertrand MAZURE, Assef CHMEISS, CRIL, Université d’Artois