Welcome to my homepage

Email: lonlac at cril dot fr
lonlac dot jerry at gmail dot fr

 

Hello!


I am currently post-doctoral researcher in the CNRS laboratory CRIL UMR 8188 (Lens Computer Science Research Lab) at the University of Artois - France.
Previously, I was a post-doctoral researcher in the CNRS laboratory LIMOS (Laboratory of Computer Science, Modelisation and Optimization) of computer science and the laboratory GEOLAB (Laboratory Environment, physical, geography ) at the University Clermont Auvergne - France. During this postdoctoral position, I worked on a project concerning data analysis of paleoecological data and on the cross-fertlization between Data mining, Propositionnal Satisfiability (SAT). I defended my Ph.D. dissertation in November 2014 in the CRIL Lab at The University of Artois under the supervision of Lakhdar SAIS , Saïd JABBOUR and Clémentin TAYOU. During my PhD, I worked mainly on the Satifiability problem (SAT). More precisely focusing on the CDCL SAT Solver. (A pdf version of the thesis is available here).

Research Area


  • Data Mining
  • Propositional Satisfiability (SAT)
  • Parallel SAT
  • Machine Learning
  • Resolution of NP-Hard problems
  • Propositional logic : models and algorithms

Publications



    National journals


  1. Jerry Lonlac, Yannick Miras, Aude Beauger, Marie Pailloux, Jean-Luc Peiry, Engelbert Mephu Nguifo . Une Approche d'Extraction de Motifs Graduels (Fermés) Fréquents Sous Contrainte de la Temporalité. Revue des Nouvelles Technologies de l'Information, vol. RNTI-E-33, pp.213-224, 2018.

  2. Jerry Lonlac, Benjamin Négrevergne, Yannick Miras, Aude Beauger, Engelbert Mephu Nguifo . Fouille de Motifs Graduels Fermés Fréquents Sous Contrainte de la Temporalité. Revue des Nouvelles Technologies de l'Information, vol. RNTI-E-34, pp.383-384, 2017.

  3. 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.

  4. International Conferences


  5. Jerry Lonlac, Yannick Miras, Aude Beauger, Vincent Mazenod, Jean-Luc Peiry, Engelbert Mephu Nguifo. An Approach for Extracting Frequent (Closed) Gradual Patterns Under Temporal Constraint. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'2018) .

  6. Jerry Lonlac, Benjamin Negrevergne, Yannick Miras, Aude Beauger and Engelbert Mephu Nguifo . Mining Frequent Closed Gradual Patterns Under Temporal Constraint. Dix-huitième Conférence Internationale sur l'Extraction et La Gestion des Connaissances (EGC'18). Janvier 22-26, Paris, 2018.

  7. Jerry Lonlac, Yannick Miras, Aude Beauger, Marie Païlloux, Jean-Luc Peiry and Engelbert Mephu Nguifo . Une Approche d'Extraction de Motifs Graduels (Fermés) Fréquents Sous Contrainte de la Temporalité. In Extraction et Gestion des Connaissances (EGC'17) . Janvier 23-27, Grenoble, 2017.

  8. Long Guo, Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. In proceedings of the Twenty-six IEEE International on Tools with Artificial Intelligence ((IEEE ICTAI'14) . November 10-12, Limassol, Chypre, 2014.

  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 fourth Workshop on Parallel Methods for Constraint Solving (ParSearchOpt'14), Vienna, Austria, july 2014.

  10. 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.

  11. 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 Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA'13).

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

  13. 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.

  14. National Conferences


  15. Jerry Lonlac and Engelbert Mephu Nguifo . Apprentissage de Top-k clauses par dominance pour les solveurs SAT Modernes. Dans les Quatorzièmes journées Francophones de Programmation par Contraintes (JFPC'18), 2018 (A venir).

  16. Jerry Lonlac and Engelbert Mephu Nguifo . Vers une stratégie de réduction de la base de clauses apprises fondée sur la relation de dominance. Dans les Treizièmes journées Francophones de Programmation par Contraintes (JFPC'17), Montreuil sur Mer, june 2017.

  17. 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

  18. 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

  19. 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

  20. 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


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)

2015 - 2017

  • Apprentissage artificiel
  • Technologie du décisionel
  • Génie logiciel
  • Bases de données et système d'informations (oracle)
  • Programmation java (Androïde sous Eclipse)

2017 - 2018

  • Algorithme et programmation en C++
  • Conception orientée objet (Java)
  • Circuits logiques