2009 |
23 | EE | Alejandro Arbelaez,
Youssef Hamadi:
Exploiting weak dependencies in tree-based search.
SAC 2009: 1385-1391 |
22 | EE | Youssef Hamadi,
Saïd Jabbour,
Lakhdar Sais:
Learning for Dynamic subsumption
CoRR abs/0904.0029: (2009) |
2008 |
21 | EE | Cédric Piette,
Youssef Hamadi,
Lakhdar Sais:
Vivifying Propositional Clausal Formulae.
ECAI 2008: 525-529 |
20 | EE | 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 | EE | Lucas Bordeaux,
Youssef Hamadi,
Moshe Y. Vardi:
An Analysis of Slow Convergence in Interval Propagation.
CP 2007: 790-797 |
17 | EE | Youssef Hamadi,
Lucas Bordeaux:
Preface.
JSAT 1(3-4): (2007) |
2006 |
16 | EE | 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 | EE | Lucas Bordeaux,
Youssef Hamadi,
Lintao Zhang:
Propositional Satisfiability and Constraint Programming: A comparative survey.
ACM Comput. Surv. 38(4): (2006) |
13 | EE | Carsten Rother,
Lucas Bordeaux,
Youssef Hamadi,
Andrew Blake:
AutoCollage.
ACM Trans. Graph. 25(3): 847-852 (2006) |
2005 |
12 | EE | Youssef Hamadi:
Continuous resources allocation in Internet data centers.
CCGRID 2005: 566-573 |
11 | EE | Georg Ringwelski,
Youssef Hamadi:
Boosting Distributed Constraint Satisfaction.
CP 2005: 549-562 |
10 | EE | 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 | EE | Youssef Hamadi,
Marc Shapiro:
Pushing Log-Based Reconciliation.
International Journal on Artificial Intelligence Tools 14(3): 445-458 (2005) |
8 | EE | Youssef Hamadi:
Conflicting Agents in Distributed Search.
International Journal on Artificial Intelligence Tools 14(3): 459-476 (2005) |
2002 |
7 | EE | 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 | EE | Youssef Hamadi:
Interleaved Backtracking in Distributed Constraint Networks.
International Journal on Artificial Intelligence Tools 11(2): 167-188 (2002) |
2001 |
4 | EE | 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 |