Lakhdar SAIS' home page

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

 

 

This page is not updated since 2013

My research interests

• Artificial Intelligence
• Knowledge representation and reasoning
• Propositional logic : models and algorithms
• Satifiability problem (SAT)
• Quantified Boolean Formulas (QBF)
• Constraint Programming (CP)
• Data Mining (DM)
• Digital hummanities/Artificial Inteeligencen & Social Sciences and Humanities (IA - SSH)

Current PhD students

• David ING , "Extraction et découverte de connaissances à partir de données migratoires " since 2021

Past PhD students

Ikram NEKKACHE , " Extraction de motifs fréquents sous contraintes " Thèse financée par PROFAS B+, en co-tutelle avec l’Université de Sétif 1 (Algérie), soutenue en décembre 2021.
• Sofiane TOUATI , "Bin Packing et Clustering : Approches par la théorie des jeux et la programmation par contraintes " Thèse Algérienne - Université de Bejaia, soutenue en juillet 2021,MCF, Université de Bejaia (Algérie).
• Kahina BOUCHAMA , "Le Clustering par la Théorie des Jeux et la Programmation par Contraintes " Thèse Algérienne - Université de Bejaia, soutenue en juillet 2020,MCF, Université de Bejaia (Algérie).
• Yazid BOUMARAFI , " De la théorie des graphes à la satisfiabilité propositionnelle - une nouvelle approche pour la caractérisation de classes traitables ; " boursue MESR, soutenue en décembre 2019, Maitre de conférences en informatique chez Agrocampus Ouest Rennes, Bretagne, France.
• Nizar MHADHBI , " Modèles et algorithmes pour la détection de communautés et la compression de grands graphes ; " financé par le gouvernement Tunisien, soutenue dé 2018.
• Imen DALALA , " Declarative Approaches for Mining Frequent Itemsets over Transactional Databases ; " En cotutelle ISG de Tunis, soutenue dé 2018. Enseignante chercheuse Universitié Léonard de Vinci, Paris (France).
• Abdelhamid BOUDANE , " Fouille de données par contraintes " Bourse du gouvernement Algérien, soutenue septembre 2018. Enseignant chercheur, Ecole polytechnique Militaire d’Alger (Algérie).
• Al-Saedi Mohammad Saleh BALASIM , " Extensions de classes polynomiales pour le problè ;me de la satisfiabilit é " Bourse du gouvernement Irakien, soutenue Juillet 2013. Enseignant chercheur, Université AL-Mustansiriyah Bag- dad (Irak).
• Long Guo , "Parallel SAT Solving " Microsoft Research, PhD Scholarship, defended July 2013.
• Jerry Lonlac , " Satisfiability of boolean formulas ", defended october 2014 (postdoctoral position - LIMOS, clermont-Ferrand)
• Jean-Marie Lagniez,defended in december 2011, Local search for SAT and UNSAT, Professor Faculté des sciences Jean Perrin.
• Dominique D'Ameida,defended in december 2010, Etude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial, Assistant researcher at CRIL, IUT de Lens, University of Artois since september 2010
• Said Jabbour, defended in december 2008, " De la satisfiabilité propositionnelle aux formules booléeennes quantifi\'ees". Associate professor at Université d'Artois, CRIL, Lens, since september 2010
• 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)

Mohamed Yezid Boumarafi : february 2016 - july 2016. SAT tractable classes via graph theory 2016

Leopold Ndour. february 2016 - july 2016. Contrast patterns: declarative approaches and application to anomalie detection 2016

Abdelhamid Boudane, february 2015 - july 2015, Symbolic data mining, 2015

Soukeina Hattad, february 2015 - july 2015, Portfolio based parallel SAT solving 2015.

Rym Meghnous, february 2014 - july 2014, Extended resolution, 2014

Fares {\sc Boudraa}, february 2014 - july 2014, Symmetry in sequence mining, 2014

Mohammed ESSID, january -july 2011, Exploitation des classes traitables pour la simplification des formules booléennes

KaddourBADR, january -july 2009, Résolution de CSP : méthode incomplete;te basée sur la recherche de graphes partiels triangulés

Sofyan GHNIMI, january -july 2008, SAT : nouvelles formes de représentation et de résolution

Dominique D’ALMEIDA, january -july 2006, "Résolution de CSP qualitatifs par l’utilisation de CSP discrets et SAT"

---

Not updated since 2007

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