A SAT-Based Approach for Mining Association Rules. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (IJCAI, 2016)

Une approche logique pour la fouille de règles d'association. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (EGC, 2017)

Enumerating Non-redundant Association Rules Using Satisfiability. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (PAKDD (1), 2017)

Clustering Complex Data Represented as Propositional Formulas. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (PAKDD (2), 2017)

Efficient SAT-Based Encodings of Conditional Cardinality Constraints. - Abdelhamid Boudane; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (LPAR, 2018)

Efficient Encodings of Conditional Cardinality Constraints. - Abdelhamid Boudane; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (CoRR, 2018)

SAT-Based Data Mining. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (Int. J. Artif. Intell. Tools, 2018)

On the Enumeration of Association Rules: A Decomposition-based Approach. - Yacine Izza; Saïd Jabbour; Badran Raddaoui; Abdelhamid Boudane (IJCAI, 2020)