Yakoub Salhi
Identifiers
- name variant Yakoub Salhi 0.60 · backfill
Papers (6)
- On SAT Models Enumeration in Itemset Mining cs.AI · 2015 · author #3
- On the measure of conflicts: A MUS-Decomposition Based Framework cs.AI · 2014 · author #5
- Revisiting the Learned Clauses Database Reduction Strategies cs.AI · 2014 · author #4
- A Mining-Based Compression Approach for Constraint Satisfaction Problems cs.AI · 2013 · author #3
- Extending Modern SAT Solvers for Enumerating All Models cs.AI · 2013 · author #3
- Mining to Compact CNF Propositional Formulae cs.AI · 2013 · author #3
Mentions
- 1506.02561 #3 · backfill · confidence 0.70 Yakoub Salhi
- 1406.0155 #5 · backfill · confidence 0.70 Yakoub Salhi
- 1402.1956 #4 · backfill · confidence 0.70 Yakoub Salhi
- 1305.3321 #3 · backfill · confidence 0.70 Yakoub Salhi
- 1305.0574 #3 · backfill · confidence 0.70 Yakoub Salhi
- 1304.4415 #3 · backfill · confidence 0.70 Yakoub Salhi
Frequent Coauthors
- Lakhdar Sais 6 shared papers
- Said Jabbour 6 shared papers
- Badran Raddaoui 1 shared papers
- Jerry Lonlac 1 shared papers
- Yue Ma 1 shared papers