Sais, Lakhdar

11 publications

IJCAI 2025 On Integrating Logical Analysis of Data into Random Forests David Ing, Saïd Jabbour, Lakhdar Saïs

ECML-PKDD 2025 Text Mining from Migration Narratives David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais

IJCAI 2023 A Symbolic Approach to Computing Disjunctive Association Rules from Data Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

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

ECML-PKDD 2013 The Top-K Frequent Closed Itemset Mining Using Top-K SAT Problem Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

IJCAI 2009 Control-Based Clause Sharing in Parallel SAT Solving Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

IJCAI 2007 Nogood Recording from Restarts Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

IJCAI 2007 Symmetry Breaking in Quantified Boolean Formulae Gilles Audemard, Saïd Jabbour, Lakhdar Sais

AAAI 2007 Transposition Tables for Constraint Satisfaction Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

AAAI 1997 Tabu Search for SAT Bertrand Mazure, Lakhdar Sais, Éric Grégoire

IJCAI 1997 Tractable Cover Compilations Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais