Lakhdar Saïs

CRIL , CNRS -Université d'Artois , France

7 papers in the IJCAI proceedings

IJCAI 2025

On Integrating Logical Analysis of Data into Random Forests

with David Ing, Said Jabbour

doi:10.24963/ijcai.2025/45

Details PDF

IJCAI 2023

A Symbolic Approach to Computing Disjunctive Association Rules from Data

with Said Jabbour, Badran Raddaoui

doi:10.24963/ijcai.2023/237

Details PDF

IJCAI 2016

A SAT-Based Approach for Mining Association Rules

with Abdelhamid Boudane, Saïd Jabbour, Yakoub Salhi

Details PDF

IJCAI 2009

Control-Based Clause Sharing in Parallel SAT Solving

with Youssef Hamadi, Saïd Jabbour

Details PDF

IJCAI 2007

Nogood Recording from Restarts

with Christophe Lecoutre, Sébastien Tabary, Vincent Vidal

Details PDF

Symmetry Breaking in Quantified Boolean Formulae

with Gilles Audemard, Saïd Jabbour

Details PDF

IJCAI 1997

Tractable Cover Compilations

with Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings