Lakhdar Saïs

16 papers A* 1A 2B 1Misc 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
On Integrating Logical Analysis of Data into Random Forests.
IJCAI
David Ing, Saïd Jabbour, Lakhdar Saïs
2024 J jnl
On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework.
SN Comput. Sci.
Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Saïs
2019 J jnl
Extracting Frequent Gradual Patterns Using Constraints Modeling.
CoRR
Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui
2019 B conf
Mining Gradual Itemsets Using Sequential Pattern Mining.
FUZZ-IEEE
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
2018 J jnl
Revisiting the Learned Clauses Database Reduction Strategies.
Int. J. Artif. Intell. Tools
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi
2017 J jnl
About some UP-based polynomial fragments of SAT.
Ann. Math. Artif. Intell.
Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
2016 — conf
A Comparative Study of SAT-Based Itemsets Mining.
SGAI Conf.
Imen Ouled Dlala, Saïd Jabbour, Lakhdar Saïs, Boutheina Ben Yaghlane
2016 J jnl
What we can learn from conflicts in propositional satisfiability.
Ann. Oper. Res.
Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs
2014 Misc conf
A Pigeon-Hole Based Encoding of Cardinality Constraints.
ISAIM
Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
2014 Misc conf
About Some UP-Based Polynomial Fragments of SAT.
ISAIM
Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
2014 J jnl
Résolution étendue par substitution dynamique des fonctions booléennes.
Rev. d'Intelligence Artif.
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni
2013 — conf
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers.
SARA
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
2012 A conf
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.
ECAI
Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
2012 A conf
Intensification Search in Modern SAT Solvers - (Poster Presentation).
SAT
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
2012 J jnl
On the Complexity of Computing Minimal Unsatisfiable LTL formulas
CoRR
François Hantry, Lakhdar Saïs, Mohand-Said Hacid
2012 J jnl
On the complexity of computing minimal unsatisfiable LTL formulas.
Electron. Colloquium Comput. Complex.
Lakhdar Saïs, Mohand-Said Hacid, François Hantry