Publications

International journals

2018 Data 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.

International conferences

2021 Data 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 Constraints 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.

Book chapters

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.

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.