| 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 arXiv preprint arXiv:1402.1956, 2014 | 19 | 2014 |
| 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 | 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 |
| Mining frequent seasonal gradual patterns J Lonlac, A Doniec, M Lujak, S Lecoeuche Big Data Analytics and Knowledge Discovery: 22nd International Conference …, 2020 | 10 | 2020 |
| 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 | 10 | 2018 |
| Towards learned clauses database reduction strategies based on dominance relationship J Lonlac, EM Nguifo arXiv preprint arXiv:1705.10898, 2017 | 8 | 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 | 8 | 2012 |
| 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 | 5 | 2018 |
| Adding new bi-asserting clauses for faster search in modern sat solvers S Jabbour, J Lonlac, L Saïs 10th Symposium on Abstraction, Reformulation, and Approximation (SARA'13), 66-72, 2013 | 5 | 2013 |
| 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 | 4 | 2019 |
| 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 |
| 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 | 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 |
| Extracting frequent gradual patterns using constraints modeling J Lonlac, S Jabbour, EM Nguifo, L Saïs, B Raddaoui arXiv preprint arXiv:1903.08452, 2019 | 1 | 2019 |
| 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 | 1 | 2017 |
| Intensification search in modern sat solvers S Jabbour, J Lonlac, L Saïs International Conference on Theory and Applications of Satisfiability …, 2012 | 1 | 2012 |
| Résolution Étendue par substitution dynamique des fonctions booléennes S Jabbour, J Lonlac, L Sais JFPC, 2012 | 1 | 2012 |
| Intensification de la Recherche dans les Solveurs SAT Modernes S Jabbour, J Lonlac, L Sais JFPC, 2012 | 1 | 2012 |
| 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 | | 2024 |
