Follow
Jerry Lonlac
Jerry Lonlac
Associate Professor, IMT Nord Europe, University of LIile, Centre for Digital Systems
Verified email at imt-nord-europe.fr - Homepage
Title
Cited by
Cited by
Year
Extending modern SAT solvers for models enumeration
S Jabbour, J Lonlac, L Sais, Y Salhi
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
322014
Revisiting the learned clauses database reduction strategies
S Jabbour, J Lonlac, L Sais, Y Salhi
arXiv preprint arXiv:1402.1956, 2014
192014
A novel algorithm for searching frequent gradual patterns from an ordered data set
J Lonlac, EM Nguifo
Intelligent Data Analysis 24 (5), 1029-1042, 2020
142020
Diversification by clauses deletion strategies in portfolio parallel SAT solving
L Guo, S Jabbour, J Lonlac, L Sais
2014 IEEE 26th International Conference on Tools with Artificial …, 2014
112014
Mining frequent seasonal gradual patterns
J Lonlac, A Doniec, M Lujak, S Lecoeuche
Big Data Analytics and Knowledge Discovery: 22nd International Conference …, 2020
102020
An approach for extracting frequent (closed) gradual patterns under temporal constraint
J Lonlac, Y Miras, A Beauger, V Mazenod, JL Peiry, EM Nguifo
2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-8, 2018
102018
Towards learned clauses database reduction strategies based on dominance relationship
J Lonlac, EM Nguifo
arXiv preprint arXiv:1705.10898, 2017
82017
Extending resolution by dynamic substitution of boolean functions
S Jabbour, J Lonlac, L Saïs
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
82012
Revisiting the learned clauses database reduction strategies
S Jabbour, J Lonlac, L Saïs, Y Salhi
International Journal on Artificial Intelligence Tools 27 (08), 1850033, 2018
52018
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers.
S Jabbour, J Lonlac, L Saïs
SARA, 66-72, 2013
52013
A methodological and theoretical framework for implementing explainable artificial intelligence (XAI) in business applications
D Tchuente, J Lonlac, B Kamsu-Foguem
Computers in Industry 155, 104044, 2024
42024
Mining gradual itemsets using sequential pattern mining
S Jabbour, J Lonlac, L Saïs
2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2019
42019
Extracting seasonal gradual patterns from temporal sequence data using periodic patterns mining
J Lonlac, A Doniec, M Lujak, S Lecoeuche
arXiv preprint arXiv:2010.10289, 2020
22020
An Interactive Platform for Extracting Gradual Patterns from Multivariate Temporal Data
J Lonlac, Y Miras, V Mazenod, EM Nguifo
30th ACM International Conference on Information and Knowledge Management, 2021
12021
Discovering frequent gradual itemsets with imprecise data
MC Boujike, J Lonlac, N Tsopze, EM Nguifo
arXiv preprint arXiv:2005.11045, 2020
12020
Extracting frequent gradual patterns using constraints modeling
J Lonlac, S Jabbour, EM Nguifo, L Saïs, B Raddaoui
arXiv preprint arXiv:1903.08452, 2019
12019
Une Approche d'Extraction de Motifs Graduels (Fermés) Fréquents Sous Contrainte de la Temporalité
J Lonlac, Y Miras, A Beauger, M Pailloux, JL Peiry, EM Nguifo
conférence Extraction et Gestion des Connaissances (EGC), 2017
12017
Intensification search in modern sat solvers
S Jabbour, J Lonlac, L Saïs
International Conference on Theory and Applications of Satisfiability …, 2012
12012
Résolution Étendue par substitution dynamique des fonctions booléennes
S Jabbour, J Lonlac, L Sais
JFPC, 2012
12012
Intensification de la Recherche dans les Solveurs SAT Modernes
S Jabbour, J Lonlac, L Sais
JFPC, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20