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