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 |