 | 2009 |
|---|
| 5 |       | Youssef Hamadi,
Saïd Jabbour,
Lakhdar Sais:
Control-Based Clause Sharing in Parallel SAT Solving.
IJCAI 2009: 499-504 |
| 4 | | Youssef Hamadi,
Saïd Jabbour,
Lakhdar Sais:
Learning for Dynamic subsumption
CoRR abs/0904.0029: (2009) |
| 2008 |
|---|
| 3 | | Gilles Audemard,
Lucas Bordeaux,
Youssef Hamadi,
Saïd Jabbour,
Lakhdar Sais:
A Generalized Framework for Conflict Analysis.
SAT 2008: 21-27 |
| 2 | | Gilles Audemard,
Saïd Jabbour,
Lakhdar Sais:
SAT graph-based representation: A new perspective.
J. Algorithms 63(1-3): 17-33 (2008) |
| 2007 |
|---|
| 1 | | Gilles Audemard,
Saïd Jabbour,
Lakhdar Sais:
Symmetry Breaking in Quantified Boolean Formulae.
IJCAI 2007: 2262-2267 |
