| 2026 | CP | Utility-Peak Itemset Mining with Constraint Programming. | Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Sad Jabbour, Lakhdar Sas |
| 2026 | SIGdial | Detecting Experiential Intertextuality Across Migration Routes: Beyond Surface Similarity in French Narratives. | Sakayo Toadoum Sari, Nelly Robin, Michelle Auzanneau, Lakhdar Sais, Veronique Petit, Marie Veniard, Sad Jabbour, Fabien Delorme |
| 2025 | IJCAI | On Integrating Logical Analysis of Data into Random Forests. | David Ing, Sad Jabbour, Lakhdar Sas |
| 2025 | IJCAI | Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques. | Christian Straer, Badran Raddaoui, Sad Jabbour |
| 2024 | ECAI | On the Discovery of Conceptual Clustering Models Through Pattern Mining. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2024 | IJCAI | Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases. | Badran Raddaoui, Christian Straer, Sad Jabbour |
| 2024 | ICTAI | On the Learning of Explainable Classification Rules through Disjunctive Patterns. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Ahmed Samet |
| 2024 | KR | LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. | David Ing, Sad Jabbour, Lakhdar Sais, Fabien Delorme |
| 2024 | MEDES | Boosting the Discovery of Interval Patterns Using SAT. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui |
| 2023 | DATA | Extracting Frequent Gradual Patterns Based on SAT. | Jerry Lonlac, Imen Ouled Dlala, Sad Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais |
| 2023 | DaWaK | A Non-overlapping Community Detection Approach Based on α-Structural Similarity. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2023 | DSAA | Classification with Explanation for Human Trafficking Networks. | David Ing, Fabien Delorme, Sad Jabbour, Nelly Robin, Lakhdar Sais |
| 2023 | IIWAS | Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. | Amel Hidouri, Badran Raddaoui, Sad Jabbour |
| 2023 | IJCAI | Targeting Minimal Rare Itemsets from Transaction Databases. | Amel Hidouri, Badran Raddaoui, Sad Jabbour |
| 2023 | IJCAI | A Symbolic Approach to Computing Disjunctive Association Rules from Data. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2023 | IJCAI | A Comparative Study of Ranking Formulas Based on Consistency. | Badran Raddaoui, Christian Straer, Sad Jabbour |
| 2022 | ADMA | A Distributed SAT-Based Framework for Closed Frequent Itemset Mining. | Julien Martin-Prin, Imen Ouled Dlala, Nicolas Travers, Sad Jabbour |
| 2022 | CP | On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. | Amel Hidouri, Sad Jabbour, Badran Raddaoui |
| 2022 | DaWaK | Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. | Sad Jabbour, Mourad Kmimech, Badran Raddaoui |
| 2022 | IPMU | A Parallel Declarative Framework for Mining High Utility Itemsets. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane |
| 2021 | CPAIOR | Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. | Ikram Nekkache, Sad Jabbour, Lakhdar Sais, Nadjet Kamel |
| 2021 | DaWaK | A Declarative Framework for Mining Top-k High Utility Itemsets. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane |
| 2021 | ICTAI | A Constraint-based Approach for Enumerating Gradual Itemsets. | Amel Hidouri, Sad Jabbour, Jerry Lonlac, Badran Raddaoui |
| 2020 | DaWaK | A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane |
| 2020 | IJCAI | On the Enumeration of Association Rules: A Decomposition-based Approach. | Yacine Izza, Sad Jabbour, Badran Raddaoui, Abdelhamid Boudane |
| 2019 | WISE | Handling Disagreement in Ontologies-Based Reasoning via Argumentation. | Sad Jabbour, Yue Ma, Badran Raddaoui |
| 2018 | AINA | Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. | Sad Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais |
| 2018 | CP | A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2018 | CP | On Maximal Frequent Itemsets Mining with Constraints. | Sad Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais |
| 2018 | IDA | Pushing the Envelope in Overlapping Communities Detection. | Sad Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais |
| 2018 | LPAR | Efficient SAT-Based Encodings of Conditional Cardinality Constraints. | Abdelhamid Boudane, Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2017 | ICAART | Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. | Soukaina Hattad, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2017 | PAKDD | Enumerating Non-redundant Association Rules Using Satisfiability. | Abdelhamid Boudane, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2017 | PAKDD | Clustering Complex Data Represented as Propositional Formulas. | Abdelhamid Boudane, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2017 | PAKDD | A SAT-Based Framework for Overlapping Community Detection in Networks. | Sad Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais |
| 2017 | WETICE | Formal Approach for QoS-Aware Cloud Service Composition. | Abderrahim Ait Wakrime, Sad Jabbour |
| 2016 | AICCSA | On repairing queries in cloud computing. | Abderrahim Ait Wakrime, Sad Jabbour |
| 2016 | ECAI | On Inconsistency Measuring and Resolving. | Sad Jabbour |
| 2016 | ECAI | On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2016 | ECAI | Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. | Sad Jabbour, Lakhdar Sais |
| 2016 | ICAART | Knowledge Base Compilation for Inconsistency Measures. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2016 | IJCAI | A SAT-Based Approach for Mining Association Rules. | Abdelhamid Boudane, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2016 | ICTAI | A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane |
| 2016 | ICTAI | Itemset Mining with Penalties. | Sad Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi |
| 2016 | KR | A MIS Partition Based Framework for Measuring Inconsistency. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2016 | SGAI | A Comparative Study of SAT-Based Itemsets Mining. | Imen Ouled Dlala, Sad Jabbour, Lakhdar Sas, Boutheina Ben Yaghlane |
| 2015 | AICCSA | Parallel SAT based closed frequent itemsets enumeration. | Imen Ouled Dlala, Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane |
| 2015 | ICAART | Inconsistency-based Ranking of Knowledge Bases. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2015 | ICTAI | Mining to Compress Table Constraints. | Sad Jabbour, Stphanie Roussel, Lakhdar Sais, Yakoub Salhi |
| 2015 | ISDA | Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. | Abderrahim Ait Wakrime, Sad Jabbour |
| 2015 | PAKDD | Decomposition Based SAT Encodings for Itemset Mining Problems. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2014 | ECAI | Prime Implicates Based Inconsistency Characterization. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais |
| 2014 | IC3K | Symmetry Breaking in Itemset Mining. | Belad Benhamou, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2014 | IC3K | A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. | Belad Benhamou, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2014 | IRI | Extending modern SAT solvers for models enumeration. | Sad Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi |
| 2014 | ISAIM | A Pigeon-Hole Based Encoding of Cardinality Constraints. | Sad Jabbour, Lakhdar Sas, Yakoub Salhi |
| 2014 | ICTAI | Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. | Long Guo, Sad Jabbour, Jerry Lonlac, Lakhdar Sais |
| 2014 | ICTAI | On the Characterization of Inconsistency: A Prime Implicates Based Framework. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais |
| 2014 | JELIA | Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. | Sad Jabbour, Joo Marques-Silva, Lakhdar Sais, Yakoub Salhi |
| 2014 | PDP | An Effective Distributed D&C Approach for the Satisfiability Problem. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette |
| 2014 | SAT | Dolius: A Distributed Parallel SAT Solving Framework. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette |
| 2013 | CIKM | Boolean satisfiability for sequence mining. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2013 | CIKM | Mining-based compression approach of propositional formulae. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno |
| 2013 | ECSQARU | Measuring Inconsistency through Minimal Proofs. | Sad Jabbour, Badran Raddaoui |
| 2013 | ICTAI | Symmetry-Based Pruning in Itemset Mining. | Sad Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia |
| 2012 | ECAI | A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. | Emmanuel Coquery, Sad Jabbour, Lakhdar Sas, Yakoub Salhi |
| 2012 | ECAI | Symmetries in Itemset Mining. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia |
| 2012 | ICTAI | Extending Resolution by Dynamic Substitution of Boolean Functions. | Sad Jabbour, Jerry Lonlac, Lakhdar Sais |
| 2012 | SAT | Revisiting Clause Exchange in Parallel SAT Solving. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Jean-Marie Lagniez, Cdric Piette |
| 2012 | SAT | Intensification Search in Modern SAT Solvers - (Poster Presentation). | Sad Jabbour, Jerry Lonlac, Lakhdar Sas |
| 2011 | ICDM | A Constraint Programming Approach for Enumerating Motifs in a Sequence. | Emmanuel Coquery, Sad Jabbour, Lakhdar Sais |
| 2010 | CP | Diversification and Intensification in Parallel SAT Solving. | Long Guo, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2009 | IJCAI | Control-Based Clause Sharing in Parallel SAT Solving. | Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2009 | ICTAI | Learning for Dynamic Subsumption. | Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2009 | ICTAI | Learning for Dynamic Assignments Reordering. | Sad Jabbour |
| 2008 | SAT | A Generalized Framework for Conflict Analysis. | Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2007 | IJCAI | Symmetry Breaking in Quantified Boolean Formulae. | Gilles Audemard, Sad Jabbour, Lakhdar Sais |