Youssef Hamadi

	2012
42		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning from conflicts in propositional satisfiability. 4OR 10(1): 15-32 (2012)
	2011
41		Álvaro Fialho, Youssef Hamadi, Marc Schoenauer: Optimizing architectural and structural aspects of buildings towards higher energy efficiency. GECCO (Companion) 2011: 727-732
40		Alejandro Arbelaez, Youssef Hamadi: Improving Parallel Local Search for SAT. LION 2011: 46-60
39		Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger: Lazy Decomposition for Distributed Decision Procedures PDMC 2011: 43-54
38		Youssef Hamadi, Georg Ringwelski: Boosting distributed constraint satisfaction. J. Heuristics 17(3): 251-279 (2011)
37		Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais: Deterministic Parallel DPLL. JSAT 7(4): 127-132 (2011)
	2010
36		Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Diversification and Intensification in Parallel SAT Solving. CP 2010: 252-265
35		Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: Efficiently solving quantified bit-vector formulas. FMCAD 2010: 239-246
34		Jérémie Vautard, Arnaud Lallouet, Youssef Hamadi: A Parallel Solving Algorithm for Quantified Constraints Problems. ICTAI (1) 2010: 271-274
33		Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag: Continuous Search in Constraint Programming. ICTAI (1) 2010: 53-60
32		Vincent Vidal, Lucas Bordeaux, Youssef Hamadi: Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. SOCS 2010
31		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic Subsumption. International Journal on Artificial Intelligence Tools 19(4): 511-529 (2010)
	2009
30		Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720
29		Cédric Piette, Youssef Hamadi, Lakhdar Sais: Efficient Combination of Decision Procedures for MUS Computation. FroCos 2009: 335-349
28		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic Subsumption. ICTAI 2009: 328-335
27		Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz: Experiments with Massively Parallel Constraint Solving. IJCAI 2009: 443-448
26		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Control-Based Clause Sharing in Parallel SAT Solving. IJCAI 2009: 499-504
25		Alejandro Arbelaez, Youssef Hamadi: Exploiting weak dependencies in tree-based search. SAC 2009: 1385-1391
24		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: Learning for Dynamic subsumption CoRR abs/0904.0029: (2009)
23		Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: ManySAT: a Parallel SAT Solver. JSAT 6(4): 245-262 (2009)
22		Youssef Hamadi: Conclusion to the Special Issue on Parallel SAT Solving. JSAT 6(4): 263 (2009)
	2008
21		Cédric Piette, Youssef Hamadi, Lakhdar Sais: Vivifying Propositional Clausal Formulae. ECAI 2008: 525-529
20		Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais: A Generalized Framework for Conflict Analysis. SAT 2008: 21-27
	2007
19		Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi: Knowledge Compilation Properties of Tree-of-BDDs. AAAI 2007: 502-507
18		Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi: An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797
17		Youssef Hamadi, Lucas Bordeaux: Preface. JSAT 1(3-4): (2007)
	2006
16		Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown: Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP 2006: 213-228
15		Yek Loong Chong, Youssef Hamadi: Distributed Log-Based Reconciliation. ECAI 2006: 108-112
14		Lucas Bordeaux, Youssef Hamadi, Lintao Zhang: Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. 38(4): (2006)
13		Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Andrew Blake: AutoCollage. ACM Trans. Graph. 25(3): 847-852 (2006)
	2005
12		Youssef Hamadi: Continuous resources allocation in Internet data centers. CCGRID 2005: 566-573
11		Georg Ringwelski, Youssef Hamadi: Boosting Distributed Constraint Satisfaction. CP 2005: 549-562
10		Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48
9		Youssef Hamadi, Marc Shapiro: Pushing Log-Based Reconciliation. International Journal on Artificial Intelligence Tools 14(3): 445-458 (2005)
8		Youssef Hamadi: Conflicting Agents in Distributed Search. International Journal on Artificial Intelligence Tools 14(3): 459-476 (2005)
	2002
7		Youssef Hamadi: DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations. WECWIS 2002: 245-248
6		Youssef Hamadi: Optimal Distributed Arc-Consistency. Constraints 7(3-4): 367-385 (2002)
5		Youssef Hamadi: Interleaved Backtracking in Distributed Constraint Networks. International Journal on Artificial Intelligence Tools 11(2): 167-188 (2002)
	2001
4		Youssef Hamadi: Interleaved Backtracking in Distributed Constraint Networks. ICTAI 2001: 33-41
	1999
3		Youssef Hamadi: Optimal Distributed Arc-Consistency. CP 1999: 219-233
	1998
2		Youssef Hamadi, Christian Bessière, Joël Quinqueton: Distributed Intelligent Backtracking. ECAI 1998: 219-223
	1997
1		Youssef Hamadi, David Merceron: Reconfigurable Architectures: A New Vision for Optimization Problems. CP 1997: 209-221

Coauthor Index

1	Alejandro Arbelaez	[25] [33] [40]
2	Gilles Audemard	[20]
3	Mark Bartlett	[10]
4	Christian Bessiere (Christian Bessière)	[2]
5	Andrew Blake	[13]
6	Lucas Bordeaux	[13] [14] [17] [18] [19] [20] [27] [32]
7	Yek Loong Chong	[15]
8	Álvaro Fialho	[41]
9	Alan M. Frisch	[10]
10	Long Guo	[36]
11	Holger H. Hoos (Holger Hoos)	[16]
12	Frank Hutter	[16]
13	Saïd Jabbour	[20] [23] [24] [26] [28] [31] [36] [37] [42]
14	Arnaud Lallouet	[34]
15	Kevin Leyton-Brown	[16]
16	David Merceron	[1]
17	Ian Miguel	[10]
18	Leonardo Mendonça de Moura	[30] [35]
19	Cédric Piette	[21] [29] [37]
20	Joël Quinqueton	[2]
21	Georg Ringwelski	[11] [38]
22	Carsten Rother	[13]
23	Lakhdar Sais	[20] [21] [23] [24] [26] [28] [29] [31] [36] [37] [42]
24	Horst Samulowitz	[27]
25	Marc Schoenauer	[41]
26	Michèle Sebag	[33]
27	Marc Shapiro	[9]
28	João P. Marques Silva (João Marques-Silva)	[39]
29	Sathiamoorthy Subbarayan	[19]
30	Armagan Tarim (S. Armagan Tarim)	[10]
31	Chris Unsworth	[10]
32	Moshe Y. Vardi	[18]
33	Jérémie Vautard	[34]
34	Vincent Vidal	[32]
35	Christoph M. Wintersteiger	[30] [35] [39]
36	Lintao Zhang	[14]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page