Yakoub Salhi

Identifiers

• name variant Yakoub Salhi 0.60 · backfill

Papers (6)

1. On SAT Models Enumeration in Itemset Mining cs.AI · 2015 · author #3
2. On the measure of conflicts: A MUS-Decomposition Based Framework cs.AI · 2014 · author #5
3. Revisiting the Learned Clauses Database Reduction Strategies cs.AI · 2014 · author #4
4. A Mining-Based Compression Approach for Constraint Satisfaction Problems cs.AI · 2013 · author #3
5. Extending Modern SAT Solvers for Enumerating All Models cs.AI · 2013 · author #3
6. 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