Lakhdar Sais

Identifiers

• name variant Lakhdar Sais 0.60 · backfill

Papers (8)

1. Efficient Encodings of Conditional Cardinality Constraints cs.AI · 2018 · author #4
2. On SAT Models Enumeration in Itemset Mining cs.AI · 2015 · author #2
3. On the measure of conflicts: A MUS-Decomposition Based Framework cs.AI · 2014 · author #4
4. Revisiting the Learned Clauses Database Reduction Strategies cs.AI · 2014 · author #3
5. A Mining-Based Compression Approach for Constraint Satisfaction Problems cs.AI · 2013 · author #2
6. Extending Modern SAT Solvers for Enumerating All Models cs.AI · 2013 · author #2
7. Mining to Compact CNF Propositional Formulae cs.AI · 2013 · author #2
8. Learning for Dynamic subsumption cs.AI · 2009 · author #3

Mentions

• 1506.02561 #2 · backfill · confidence 0.70 Lakhdar Sais
• 1406.0155 #4 · backfill · confidence 0.70 Lakhdar Sais
• 1402.1956 #3 · backfill · confidence 0.70 Lakhdar Sais
• 1305.3321 #2 · backfill · confidence 0.70 Lakhdar Sais
• 1305.0574 #2 · backfill · confidence 0.70 Lakhdar Sais
• 1304.4415 #2 · backfill · confidence 0.70 Lakhdar Sais
• 0904.0029 #3 · backfill · confidence 0.70 Lakhdar Sais

Frequent Coauthors

• Said Jabbour 8 shared papers
• Yakoub Salhi 6 shared papers
• Badran Raddaoui 2 shared papers
• Abdelhamid Boudane 1 shared papers
• Jerry Lonlac 1 shared papers
• Youssef Hamadi 1 shared papers
• Yue Ma 1 shared papers