| 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 |
| 2024 | KR | LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. | David Ing, Sad Jabbour, Lakhdar Sais, Fabien Delorme |
| 2023 | DATA | Extracting Frequent Gradual Patterns Based on SAT. | Jerry Lonlac, Imen Ouled Dlala, Sad Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais |
| 2023 | DSAA | Classification with Explanation for Human Trafficking Networks. | David Ing, Fabien Delorme, Sad Jabbour, Nelly Robin, Lakhdar Sais |
| 2023 | IJCAI | A Symbolic Approach to Computing Disjunctive Association Rules from Data. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2021 | CPAIOR | Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. | Ikram Nekkache, Sad Jabbour, Lakhdar Sais, Nadjet Kamel |
| 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 | LPAR | From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. | Yazid Boumarafi, 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 |
| 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 | ISAIM | Z-Equilibrium For a CSP Game. | Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais |
| 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 |
| 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 | 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 | ICTAI | Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. | Balasim Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 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 |
| 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 | ICTAI | Symmetry-Based Pruning in Itemset Mining. | Sad Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia |
| 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 |
| 2011 | ICDM | A Constraint Programming Approach for Enumerating Motifs in a Sequence. | Emmanuel Coquery, Sad Jabbour, Lakhdar Sais |
| 2011 | SAT | On Freezing and Reactivating Learnt Clauses. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2010 | CP | Diversification and Intensification in Parallel SAT Solving. | Long Guo, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2010 | LPAR | Boosting Local Search Thanks to cdcl. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2009 | IJCAI | Control-Based Clause Sharing in Parallel SAT Solving. | Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2009 | ICTAI | Learning in Local Search. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2009 | ICTAI | Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. | Dominique D'Almeida, Lakhdar Sais |
| 2009 | ICTAI | Local Autarkies Searching for the Dynamic Partition of CNF Formulae. | ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2009 | ICTAI | Learning for Dynamic Subsumption. | Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2008 | ECAI | Redundancy in CSPs. | Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais |
| 2008 | ECAI | Vivifying Propositional Clausal Formulae. | Cdric Piette, Youssef Hamadi, Lakhdar Sais |
| 2008 | SAT | A Generalized Framework for Conflict Analysis. | Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Sad Jabbour, Lakhdar Sais |
| 2007 | AAAI | Transposition Tables for Constraint Satisfaction. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2007 | CP | Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2007 | CPAIOR | Eliminating Redundant Clauses in SAT Instances. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2007 | IJCAI | Symmetry Breaking in Quantified Boolean Formulae. | Gilles Audemard, Sad Jabbour, Lakhdar Sais |
| 2007 | IJCAI | Nogood Recording from Restarts. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2007 | IRI | Reducing hard SAT instances to polynomial ones. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2007 | ICTAI | Light Integration of Path Consistency for Solving CSPs. | Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais |
| 2007 | SAT | Circuit Based Encoding of CNF Formula. | Gilles Audemard, Lakhdar Sais |
| 2006 | ECAI | Extracting MUCs from Constraint Networks. | Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frdric Boussemart |
| 2006 | ECAI | Last Conflict Based Reasoning. | Christophe Lecoutre, Lakhdar Sais, Sbastien Tabary, Vincent Vidal |
| 2006 | IRI | A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. | ric Grgoire, Bertrand Mazure, Cdric Piette, Lakhdar Sais |
| 2006 | ICTAI | Computing Horn Strong Backdoor Sets Thanks to Local Search. | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |
| 2005 | CP | Using Boolean Constraint Propagation for Sub-clauses Deduction. | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |
| 2005 | SAT | A Symbolic Search Based Approach for Quantified Boolean Formulas. | Gilles Audemard, Lakhdar Sais |
| 2004 | CP | Support Inference for Generic Filtering. | Frdric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
| 2004 | ECAI | Boosting Systematic Search by Weighting Constraints. | Frdric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais |
| 2004 | ICTAI | SAT Based BDD Solver for Quantified Boolean Formulas. | Gilles Audemard, Lakhdar Sais |
| 2004 | ICTAI | Constraint Satisfaction Problems: Backtrack Search Revisited. | Assef Chmeiss, Lakhdar Sais |
| 2004 | SAT | Dealing with Symmetries in Quantified Boolean Formulas. | Gilles Audemard, Bertrand Mazure, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2003 | ICTAI | Eliminating Redundancies in SAT Search Trees. | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 2002 | AIMSA | Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. | ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2002 | CP | Recovering and Exploiting Structural Knowledge from CNF Formulas. | Richard Ostrowski, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2001 | CP | Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem. | Christian Bessire, Assef Chmeiss, Lakhdar Sais |
| 2000 | ICTAI | About the use of local consistency in solving CSPs. | Assef Chmeiss, Lakhdar Sais |
| 1999 | ISMIS | Improving Backtrack Search for SAT by Means of Redundancy. | Laure Brisoux, ric Grgoire, Lakhdar Sais |
| 1998 | AIMSA | Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. | Brigitte Bessant, ric Grgoire, Pierre Marquis, Lakhdar Sais |
| 1998 | CADE | System Description: CRIL Platform for SAT. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | AAAI | Tabu Search for SAT. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | ECSQARU | Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | IJCAI | Tractable Cover Compilations. | Yacine Boufkhad, ric Grgoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |
| 1994 | STACS | Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
| 1992 | CADE | Theoretical Study of Symmetries in Propositional Calculus and Applications. | Belaid Benhamou, Lakhdar Sais |