Saïd Jabbour

	2012
15		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning from conflicts in propositional satisfiability. 4OR 10(1): 15-32 (2012)
14		Saïd Jabbour, Lakhdar Sais: Symétries et QBF. Revue d'Intelligence Artificielle 26(1-2): 103-125 (2012)
	2011
13		Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais: A Constraint Programming Approach for Enumerating Motifs in a Sequence. ICDM Workshops 2011: 1091-1097
12		Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais: Deterministic Parallel DPLL. JSAT 7(4): 127-132 (2011)
	2010
11		Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Diversification and Intensification in Parallel SAT Solving. CP 2010: 252-265
10		Saïd Jabbour: Learning from successes. International Journal on Artificial Intelligence Tools 19(4): 373-391 (2010)
9		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic Subsumption. International Journal on Artificial Intelligence Tools 19(4): 511-529 (2010)
	2009
8		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic Subsumption. ICTAI 2009: 328-335
7		Saïd Jabbour: Learning for Dynamic Assignments Reordering. ICTAI 2009: 336-343
6		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Control-Based Clause Sharing in Parallel SAT Solving. IJCAI 2009: 499-504
5		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic subsumption CoRR abs/0904.0029: (2009)
4		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: ManySAT: a Parallel SAT Solver. JSAT 6(4): 245-262 (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

Coauthor Index

1	Gilles Audemard	[1] [2] [3]
2	Lucas Bordeaux	[3]
3	Emmanuel Coquery	[13]
4	Long Guo	[11]
5	Youssef Hamadi	[3] [4] [5] [6] [8] [9] [11] [12] [15]
6	Cédric Piette	[12]
7	Lakhdar Sais	[1] [2] [3] [4] [5] [6] [8] [9] [11] [12] [13] [14] [15]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page