Lakhdar Saïs

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 6

Top Topics

Propositional Satisfiability

Top Venues

Rev. d'Intelligence Artif.

Ann. Oper. Res.

Publications

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