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 | 28 | 2014 |
Revisiting the learned clauses database reduction strategies S Jabbour, J Lonlac, L Sais, Y Salhi arXiv preprint arXiv:1402.1956, 2014 | 18 | 2014 |
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 | 10 | 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 | 8 | 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 | 8 | 2018 |
Mining frequent seasonal gradual patterns J Lonlac, A Doniec, M Lujak, S Lecoeuche International Conference on Big Data Analytics and Knowledge Discovery, 197-207, 2020 | 6 | 2020 |
Towards learned clauses database reduction strategies based on dominance relationship J Lonlac, EM Nguifo arXiv preprint arXiv:1705.10898, 2017 | 6 | 2017 |
Adding new bi-asserting clauses for faster search in modern sat solvers S Jabbour, J Lonlac, L Saïs Tenth Symposium of Abstraction, Reformulation, and Approximation, 2013 | 5 | 2013 |
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 | 5 | 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 | 4 | 2019 |
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 | 4 | 2018 |
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 |
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, E 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 |
Une approche basée sur les motifs graduels pour la recommandation dans un contexte de consommation répétée MC Boujike, N Tsopze, J Lonlac, RN Njamnou, EM Nguifo, L Pauline Extraction et Gestion des Connaissances: EGC'2022 38, 2022 | | 2022 |
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 | | 2021 |