Welcome to my homepage
Email: jerry (dot) lonlac (at) imt-lille-douai (dot) fr lonlac (dot) jerry (at) gmail (dot) fr
Hello!
I am currently post-doctoral researcher in the Research Center at IMT Lille Douai, University of Lille, Department of Computer Science and Automation (AI). I'm currently working on the E-logistic project.
- 2018 - 2019 : Post-doctoral Researcher, Post-doctoral Researcher, CRIL CNRS UMR 8188
- 2015 - 2017 : Post-doctoral Researcher, LIMOS CNRS UMR 6158
- 2014 - 2015 : ATER (Attaché Temporaire d'Enseignement et de Recherche), CRIL, IUT de Lens
- 2012 - 2014 : ATER, CRIL, faculty of science, University of Artois, Lens
I defended my Ph.D. dissertation in November 2014 at the University of Artois, CRIL Lab, 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
- Boolean Satisfiability (SAT)
- Machine Learning
- Parallel SAT
- Cloud computing
- Resolution of NP-Hard problems
- Jerry Lonlac, Arnaud Doniec, Marin Lujak, Stephane Lecoeuche . Mining Frequent Seasonal Gradual Patterns.
- Jerry Lonlac, Engelbert Mephu Nguifo. Top-k Learned Clauses for Modern SAT Solvers.
Pre-Prints and Submitted Works
Publications
- Jerry Lonlac, Engelbert Mephu Nguifo . A novel algorithm for searching Frequent Gradual Patterns from an Ordered Data Set. Intelligent Data Analysis (IDA), 2019 (to appear) .
- Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Revisiting the Learned Clauses Database Reduction Strategies. International Journal on Artificial Intelligence Tools (IJAIT) 27(8): 1850033 (2018).
- 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.
- 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.
- 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.
- Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs . Mining Gradual Itemsets Using Sequential Pattern Mining. FUZZ-IEEE 2019.
- 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. FUZZ-IEEE 2018 .
- Long Guo, Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI 2014.
- Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs . A Portfolio Based Parallel SAT Solver with Multiple Deletion Strategies. ParSearchOpt 2014.
- Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Extending Modern SAT Solvers for Models Enumeration. IRI 2014 .
- Saïd Jabbour and Jerry Lonlac and Lakhdar Saïs. Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. SARA 2013.
- Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs. Intensification search in modern SAT solvers. SAT 2012.
- Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs . Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI 2012.
- Jerry Lonlac, Benjamin Negrevergne, Yannick Miras, Aude Beauger and Engelbert Mephu Nguifo . Mining Frequent Closed Gradual Patterns Under Temporal Constraint. EGC 2018.
- Jerry Lonlac and Engelbert Mephu Nguifo . Apprentissage de Top-k clauses par dominance pour les Solveurs SAT Modernes. JFPC 2018.
- 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é. EGC 2017 .
- 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. JFPC 2017.
- Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Nouvelles Clauses Bi-Assertives et leurs Intégration dans les Solveurs SAT Modernes. JFPC 2014.
- Said Jabbour, Jerry Lonlac, Lakhdar Saïs and Yakoub Salhi . Autours des Stratégies de Réduction de la Base de Clauses Apprises. JFPC 2014.
- Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Résolution Etendue par Substitution Dynamique des Fonctions Booléennes. JFPC 2012.
- Said Jabbour, Jerry Lonlac and Lakhdar Saïs . Intensification de la Recherche dans les Solveurs SAT Modernes. JFPC 2012.
International journals
National journals
International Conferences
National Conferences
Teaching Activities
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 - 2012
- Développement web
- Algorithmique et Programmation en langage C
- 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
2018 - 2019
- Fouille de données et Apprentissage automatique