Publications

Articles de revues internationales

2018 Données Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, SAT-Based Data Mining in International Journal on Artificial Intelligence Tools,vol. 27, n° 01, pp. 1840002, 2018.

Articles de conférences internationales

2021 Données Yacine Izza, Said Jabbour, Badran Raddaoui, Abdelhamid Boudane, On the Enumeration of Association Rules: A Decomposition-based Approach in Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020),pp. 1265-1271, 2021.

2018 Contraintes Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs, Efficient SAT-based encodings of conditional cardinality constraints in LPAR-22 2018: 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning,EPiC Series in Computing, vol. 57, pp. 181 - 195, 2018.

Chapitres d'ouvrages

2017 Abdelhamid Boudane, Said Jabbour, Lakhdar Saïs, Yakoub Salhi, Enumerating Non-Redundant Association Rules Using Satisfiability in Advances in Knowledge Discovery and Data Mining. 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part I,vol. 10234, pp. 824-836, Springer International Publishing, 2017.

2017 Abdelhamid Boudane, Said Jabbour, Lakhdar Saïs, Yakoub Salhi, Clustering Complex Data Represented as propositional formulas in Advances in Knowledge Discovery and Data Mining,vol. 10235, pp. 441-452, Springer International Publishing, 2017.