Welcome to my homepage

Courriel : lonlac[at]cril[dot]fr

 

Hello!


I am a Ph.D. Student in Computer Science at CRIL (Centre de Recherche en Informatique de Lens) , which is located in Faculty Jean Perrin (Univeristy of Artois - France). My Supervisors are Lakhdar SAIS , Clémentin Tayou and Said Jabbour .

Research Area


  • Propositional Satisfiability (SAT)
  • Parallel SAT
  • Resolution of NP-Hard problems
  • Propositional logic : models and algorithms
  • MaxSAT

Publications



    National journals


  1. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Clémentin Tayou Djamegni . Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. Dans Revue d'Intelligence Artificielle (RSTI - RIA), 2014 (to appear).

  2. International Conferences


  3. Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Intensification search in modern SAT solvers. In proceedings of 15th International Conference on Theory and Applications of Satisfiability Testing, (SAT'12) .

  4. Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs . Extending Resolution by Dynamic Substitution of Boolean Functions. In proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'12), November 7-9, Athens, Greece, 2012.

  5. Saïd Jabbour and Jerry Lonlac and Lakhdar Saïs. Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. In Proceedings of the 10th Symposium on Abstraction, Reformulation, and Approximation (SARA'13).

  6. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Extending Modern SAT Solvers for Models Enumeration. In proceedings of the 11th IEEE International Conference on Information Reuse and Integration (IRI'14), San Francisco, USA, august 2014 (to appear).

  7. Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs . Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. In proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14), November 10-12, Limassol, Cyprus, 2014 (to appear).
  8. .
  9. Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs . A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies. In proceedings of the 4th Workshop on Parallel Methods for Constraint Solving (ParSearchOpt'14), Vienna, Austria, july 2014 (to appear).

    National Conferences


  10. Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. Dans les Huitièmes Journées Francophones de Programmation par Contraintes (JFPC'12), Toulouse, may 2012

  11. Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Intensification de la Recherche dans les Solveurs SAT Modernes. Dans les Huitièmes Journées Francophones de Programmation par Contraintes (JFPC'12), Toulouse, may 2012

  12. Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Nouvelles Clauses Bi-Assertives et leurs Intégration dans les Solveurs SAT Modernes. Dans les Dixièmes Journées Francophones de Programmation par Contraintes (JFPC'14), Angers, june 2014

  13. Said Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Autours des Stratégies de Réduction de la Base de Clauses Apprises. Dans les Dixièmes Journées Francophones de Programmation par Contraintes (JFPC'14), Angers, june 2014

Teaching Activities


2007 - 2008

  • Logiciels Apllicatifs
  • Structures de données II

2008 - 2009

  • Logiciels Apllicatifs
  • Bases de données
  • Algorithmique et Programmation en langage C
  • Système d'exploitation

2009 - 2010

  • Analyse et Conception des Systèmes d'Informations
  • Développement web
  • Logique
  • Bases de données
  • Algorithmique et Programmation en langage C
  • Compilation

2010 - 2011

  • Développement web
  • Algorithmique et Structure de données I
  • Bases de données
  • Logique

2011 - 2012

  • Développement web
  • Algorithmique et Programmation en langage C I
  • Bases de données
  • Logique

2012 - 2013

  • Compilation
  • Langage XML
  • Programmation en python
  • Bases de données (SGBD Mysql, Postgresql)