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 | 32 | 2014 |
Revisiting the learned clauses database reduction strategies S Jabbour, J Lonlac, L Sais, Y Salhi International Journal on Artificial Intelligence Tools 27 (08), 1850033, 2018 | 24 | 2018 |
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 | 17 | 2020 |
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 | 15 | 2024 |
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 | 14 | 2018 |
Mining frequent seasonal gradual patterns J Lonlac, A Doniec, M Lujak, S Lecoeuche Big Data Analytics and Knowledge Discovery: 22nd International Conference …, 2020 | 13 | 2020 |
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 | 11 | 2014 |
Towards learned clauses database reduction strategies based on dominance relationship J Lonlac, EM Nguifo arXiv preprint arXiv:1705.10898, 2017 | 9 | 2017 |
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 | 7 | 2012 |
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 | 5 | 2019 |
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. S Jabbour, J Lonlac, L Saïs SARA, 66-72, 2013 | 5 | 2013 |
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 | 3 | 2017 |
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 | 2 | 2020 |
Extracting frequent gradual patterns using constraints modeling J Lonlac, S Jabbour, EM Nguifo, L Saïs, B Raddaoui arXiv preprint arXiv:1903.08452, 2019 | 2 | 2019 |
GRAPGT: GRAdual patterns with gradualness threshold MC Boujike, J Lonlac, N Tsopze, EM Nguifo, LP Fotso International Journal of General Systems, 1-21, 2023 | 1 | 2023 |
Extracting Frequent (Closed) Seasonal Gradual Patterns Using Closed Itemset Mining A Côme, J Lonlac 2021 IEEE 33rd International Conference on Tools with Artificial …, 2021 | 1 | 2021 |
An Interactive Platform for Extracting Gradual Patterns from Multivariate Temporal Data J Lonlac, Y Miras, V Mazenod, EM Nguifo | 1 | 2021 |
Tracking plant, fungal and algal diversity through a data mining approach: towards an improved analysis of holocene lake Aydat (Puyde-Dôme, France) dynamics and ecological … Y Miras, J Lonlac, B Aude, B Legrand, KK Serieyssol, M Lavrieux, ... Revue des Sciences Naturelles d'Auvergne, 2021 | 1 | 2021 |
Discovering frequent gradual itemsets with imprecise data MC Boujike, J Lonlac, N Tsopze, EM Nguifo arXiv preprint arXiv:2005.11045, 2020 | 1 | 2020 |
Intensification search in modern sat solvers S Jabbour, J Lonlac, L Saïs International Conference on Theory and Applications of Satisfiability …, 2012 | 1 | 2012 |