Lakhdar SAIS

Professor of computer science

Centre de Recherche en Informatique de Lens
Université d'Artois, Faculté des sciences Jean Perrin
Rue Jean Souvraz SP-18
F-62307 Lens Cedex 3, France

office : P302
e-mail : sais[at]cril [dot] univ-artois [dot] fr
home page :
phone : (+ 33) 3 21 79 17 77
fax: (+33) 3 21 79 17 70

  • Postdoc available at CRIL: PostDoctoral position proposal in Propositional Satisfiability (6 month from september or october 2014)
  • SAT: X-MiniSAT
  • Data Mining: Data Mining & Contraints
  • [SAT 2014] -17th International Conference on Theory and Applications of Satisfiability Testing, July 14-17, 2014, Vienna, Austria.
  • [COSI 2014] - Colloque sur l'Optimisation et les Systèmes d'information (June 08-10, 2014, Béjaia, Algeria)
  • [ParSearchOpt14] - Workshop on Parallel Methods for Constraint Solving (July 18th, 2014, Vienna, Austria)
  • [BGBTP14] - First Workshop on Bridging the Gap Between Theory and Practice in Constraint Solvers (in conjunction with CP'2014 - September 8th, 2014, Lyon, France)
  • Short biography

    Lakhdar Sais obtained an engineering degree in computer science in 1988 from the National Institute on Computer Science ("Université de Tizi-Ouzou", Algeria), a Ph.D ("Doctorat") in 1993 from the "Université de Provence" (Marseille) and an "Habilitation à Diriger des Recherches" from the "Université d'Artois" in 2000. In 1994, he joined the "IUT de Lens" as a lecturer ("Maitre de conférences") at the beginning of the creation of the CRIL research center ("Centre de Recherche en Informatique de Lens"). Before his current position as a professor at CRIL-CNRS "Université d'Artois", he spent one year as a professor at IRIT «Université Paul Sabatier » (Toulouse, France). Currently, he is leading the inference and decision process group at CRIL. His research focuses on search and representation problems in Artificial Intelligence. He is especially interested in proposional satisfiability, quantified boolean formula, constraint satisfaction problems, knowledge representation and reasoning, data mining.


    Books & Awards

    Bin Packing instances (VSBPPC)



    Last update : 5th february, 2008