pith. sign in

Said Jabbour

Identifiers

  • name variant Said Jabbour 0.60 · backfill

Papers (8)

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