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