My research interests

Current PhD students

Past PhD students

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"
  • 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"

  • Not updated since 2007

    Referee of the following Ph.D. theses and habilitations

    Member of the following Ph.D. theses and habilitations

    Committees

    Papers review

    Sessions chairs

    Research projects

    Research association

    Responsabilities

    Conseils et commissions

    National and international collaborations