Peer-Reviewed Publications

• Vivifying Propositional Clausal Formulae, C. Piette, Y. Hamadi, and L. Sais, Eighteen European Conference on Artificial Intelligence (ECAI’08), July 2008, Patras, Greece.
• A Generalized Framework for Conflict Analysis, G. Audemard, L. Bordeaux, Y. Hamadi, S. Jabbour, and L. Sais, SAT’08.
• Un cadre général pour l'analyse de conflits, G. Audemard, L. Bordeaux, Y. Hamadi, S. Jabbour, and L. Sais, JFPC’08.
• Vivification de formules propositionnelles clausales, C. Piette, Y. Hamadi, and L. Sais, JFPC’08.
• A SAT-based approach to decipher Gene Regulatory Networks, F. Corblin, L. Bordeaux, Y. Hamadi, E. Fanchon, and L. Trilling, RIAMS’07.
• Knowledge Compilation Properties of Trees-of-BDDs, S. Subbarayan, L. Bordeaux, and Y. Hamadi, AAAI’07 p502-507.
• An analysis of Slow Convergence in Interval Propagation, L. Bordeaux, Y. Hamadi, and M. Vardi, CP’07 p790-797.
• Preface to Special Issue on SAT/CP Integration, L. Bordeaux, Y. Hamadi, in Int. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), IOS Press, 2007.
• On the First SAT/CP Integration Workshop, L. Bordeaux, Y. Hamadi, book chapter in Trends in Constraint Programming, p105-123, ISTE, 2007.
• Solving Configuration Problems in Excel, L. Bordeaux and Y. Hamadi, AAAI’07 Int. Workshop on Configuration.
• Delegation in Tree-search for Distributed Constraint Satisfaction, M. Basharu, K. Brown, and Y. Hamadi, IJCAI’07 Eight International Workshop on Distributed Constraint Reasoning (DCR’07).
• Iterated Expressions in Constraint Programming, L. Bordeaux, Y. Hamadi, C-G Quimper, and H. Samulowitz, JFPC’07.
• Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms F. Hutter, Y. Hamadi, H. Hoos and K. L. Brown, Twelfth International Conference on Principles and Practice of Constraint Programming (CP’06).
• Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms: An Initial Investigation F. Hutter, Y. Hamadi, H. Hoos and K. L. Brown, AAAI’06, First International Workshop on Learning for Search.
• Propositional Satisfiability and Constraint Programming: A comparative Survey L. Bordeaux, Y. Hamadi, and L. Zhang, ACM Computing Surveys (CSUR), Volume 38, Issue 4 (2006).
• AutoCollage C. Rother, L. Bordeaux, Y. Hamadi, and A. Blake, ACM Transactions on Graphics (SIGGRAPH’06), August 2006, Boston, USA, to appear.
• Distributed Log-based Reconciliation, Y. Chong and Y. Hamadi, Seventeen European Conference on Artificial Intelligence (ECAI’06), August 2006, Riva del Garda, Italy.
• Boosting Distributed Constraint Satisfaction G. Ringwelski and Y. Hamadi, Eleventh International Conference on Principles and Practice of Constraint Programming (CP’05).
• An Overview of Sangam: A System for Integrating Data to Investigate Stress-Circuitry-Gene Coupling M. Saxena, S. Kim, G. Burns, A. M. Khan, J. Su, Y. Hamadi and S. Ghandeharizadeh, IVNET’05.
• Multi-Directional Distributed Search with Aggregation G. Ringwelski and Y. Hamadi, IJCAI’05 Sixth International Workshop on Distributed Constraint Reasoning (DCR’05).
• Distributed Constraint Satisfaction applied to Log-based Reconciliation Y. Chong and Y. Hamadi, IJCAI’05 Sixth International Workshop on Distributed Constraint Reasoning (DCR’05).
• Continuous Resources Allocation in Internet Data Centers Y. Hamadi, 5th IEEE/ACM International Symposium on Cluster Computing and the Grid (ccGRID’05) , 9-12 May 2005, Cardiff, United Kingdom.  
• The Temporal Knapsack Problem and its Solution M. Bartlett, A. M. Frisch, Y. Hamadi, I. Miguel, S. A.Tarim  and C. Unsworth, Int. Conf. on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’05) 29-1 June 2005 .
• Conflicting Agents in Distributed Search Y. Hamadi, in International Journal on Artificial Intelligence Tools (IJAIT), N. G. Bourbakis editor-in-chief, Volume 14, Number 3-4, 2005.
• Pushing log-based Reconciliation Y. Hamadi and M. Shapiro, in International Journal on Artificial Intelligence Tools (IJAIT), N. G. Bourbakis editor-in-chief, Volume 14, Number 3-4, 2005.
• A formalism for consistency and partial replication K. Bhargavan, M. Shapiro, Y. Chong and Y. Hamadi, in the 18th Annual Conference on Distributed Computing (DISC’04), Trippenhuis, Amsterdam, the Netherlands, October 4-7.
• Cycle-cut decomposition and log-based reconciliation Y. Hamadi, in 14th International Conference on Automated Planning & Scheduling (ICAPS’04), Workshop: Connecting Planning Theory with Practice, Whistler, British Columbia, Canada, June 3-7 2004.
• An Overview of the Gridline Project Y. Hamadi, A. M. Frisch and I. Miguel, in 14th International Conference on Automated Planning & Scheduling (ICAPS’04), Workshop: Planning and Scheduling for Web and Grid Services, Whistler, British Columbia, Canada , June 3-7 2004.
• DisCSPs: Tools for efficient and generic multi-agents negotiations, 4th IEEE International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems (WECWIS02), p245-248 Newport Beach , June 2002.
• Interleaved search in distributed constraint networks Y. Hamadi, in International Journal on Artificial Intelligence Tools (IJAIT), N. G. Bourbakis editor-in-chief, Volume 11, Number 4, p167-188, 2002.
• Optimal Distributed Arc-Consistency Y. Hamadi, in Constraints Journal, Invited paper for the special Issue on 1998 and 1999 International Conference on Principles and Practice of Constraint Programming. Editors Joxan Jaffar and Michael J. Maher. Kluwer Academic Publishers vol. 7, No. 3/4, July/October 2002.
• In book : « Systèmes Multi-agents », chapter: Problèmes de satisfaction de contraintes et systèmes Multi-agents, S. Piechoviak, Y. Hamadi. Editor René Mandiau. Hermès 2002 p169-205.
• Interleaved Backtracking in Distributed Constraint Networks, 13th International Conference on Tools with Artificial Intelligence (ICTAI’01), IEEE, p33-41, October 2001.
• EOLE project: Toward an on-line optimization framework dedicated for Telecom domain EOLE consortium, Seventh International Conference on Principles and Practice of Constraint Programming (CP01), October 2001.
• Architectures reconfigurables et traitement de problèmes NP-difficiles : un nouveau domaine d’application Y. Hamadi, D. Merceron, Revue Techniques et Sciences Informatiques, TSI numéro spécial Architectures reconfigurables, vol. 18 n. 10, p1113-1135, Editions Hermès 1999.
• Optimal Distributed Arc-Consistency Y. Hamadi, Fifth International Conference on Principles and Practice of Constraint Programming (CP’99), Alexandria USA, Lecture Notes in Computer Science Vol. 1713, p219-233, Springer, October 1999.
• Communication et Emergence : une épidémie chez les termites J. Quinqueton et Y. Hamadi, Actes des Journées Francophones d’Intelligence Artificielle Distribuée et de Système Multi-Agents (JFIADSMA99), La Réunion, France, Editions Hermès p225-235.
• Backtracking in Distributed Constraint Networks Y. Hamadi, C. Bessière and J. Quinqueton , Thirteen European Conference on Artificial Intelligence (ECAI’98), Brighton, England, p219-223. DIBT erratum
• Reconfigurable architectures: A new vision for optimization problems Y. Hamadi, D. Merceron, Third International Conference of Principles and Practice of Constraint Programming (CP97), Linz Austria, Lecture Notes in Computer Science Vol. 1330, p209-221, Springer, October/November 1997.
• Using Bidirectionality to Reduce Message Passing in a Distributed Filtering Algorithm Y. Hamadi, Fifth International Conference on Advanced Computing (ADCOMP’97), Madras, India, p53-58, December 1997.
• Improving GSAT behavior by using FPGA Y. Hamadi, D. Merceron, Fifteenth International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya Japan, August 1997.
• Distribution de GSAT Y. Hamadi, Actes des Journées Francophones d’Intelligence Artificielle Distribuée et de Système Multi-Agents (JFIADSMA96), Port Camargue, France, Editions Hermès p189-199, Avril 1996.
• GSAT Distribution Y. Hamadi, C. Bessière and J. Quinqueton, Proceedings of the Second International Conference on Multi-Agents Systems (ICMAS’96), Kyoto , Japon, AAAI press, December 1996.

PhD

• Traitement des problèmes de satisfaction de contraintes distribués PhD thesis, LIRMM/CNRS, Montpellier, France, 1999.