Yakoub Salhi

Boolean satisfiability for sequence mining

Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi · 2013 · 24 citations

Engineering, Verification, Pattern Discovery +20

A MIS Partition Based Framework for Measuring Inconsistency

Saïd Jabbour, Yue Ma, Badran Raddaoui et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2016 · 21 citations

Extending modern SAT solvers for models enumeration

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs et al. · 2014 · 17 citations

Constraint Solving, Engineering, Data Science +15

A SAT-based approach for mining association rules

Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs et al. · International Joint Conference on Artificial Intelligence · 2016 · 17 citations

Engineering, Pattern Discovery, Pattern Mining +18

Label-free natural deduction systems for intuitionistic and classical modal logics

Didier Galmiche, Yakoub Salhi · Journal of Applied Non-Classical Logics · 2010 · 15 citations

Non-classical Logic, Engineering, Substructural Logic +14