Said Jabbour
Identifiers
- name variant Said Jabbour 0.60 · backfill
Papers (8)
- Efficient Encodings of Conditional Cardinality Constraints cs.AI · 2018 · author #2
- On SAT Models Enumeration in Itemset Mining cs.AI · 2015 · author #1
- On the measure of conflicts: A MUS-Decomposition Based Framework cs.AI · 2014 · author #1
- Revisiting the Learned Clauses Database Reduction Strategies cs.AI · 2014 · author #1
- A Mining-Based Compression Approach for Constraint Satisfaction Problems cs.AI · 2013 · author #1
- Extending Modern SAT Solvers for Enumerating All Models cs.AI · 2013 · author #1
- Mining to Compact CNF Propositional Formulae cs.AI · 2013 · author #1
- Learning for Dynamic subsumption cs.AI · 2009 · author #2
Mentions
- 1506.02561 #1 · backfill · confidence 0.70 Said Jabbour
- 1406.0155 #1 · backfill · confidence 0.70 Said Jabbour
- 1402.1956 #1 · backfill · confidence 0.70 Said Jabbour
- 1305.3321 #1 · backfill · confidence 0.70 Said Jabbour
- 1305.0574 #1 · backfill · confidence 0.70 Said Jabbour
- 1304.4415 #1 · backfill · confidence 0.70 Said Jabbour
- 0904.0029 #2 · backfill · confidence 0.70 Said Jabbour
Frequent Coauthors
- Lakhdar Sais 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