Login / Signup
Lakhdar Saïs
Publication Activity (10 Years)
Years Active: 2012-2019
Publications (10 Years): 6
Top Topics
Propositional Satisfiability
Itemsets
Pattern Mining
Sat Solvers
Top Venues
CoRR
ISAIM
Rev. d'Intelligence Artif.
Ann. Oper. Res.
</>
Publications
</>