Peer-Reviewed Publications

• Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop problem, M. Loth, M. Sebag, Y. Hamadi, M. Schoenauer, and C. Schulte, Learning and Intelligent OptimizatioN Conference (LION'7), Catania, 2013. 
• Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach, L. Nadjib, Y. Hamadi, S. Jabbour, and M. Sebag, (NIPS'12) Workshop on Bayesian Optimization and Decision Making, Lake Tahoe.
• Seven Challenges in Parallel SAT Solving, Y. Hamadi, and C. M. Winter, Invited paper, Twenty-Sixth AAAI Conference (AAAI'12), Toronto.
• A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency, A Fialho, Y. Hamadi, and M. Schoenauer, Twentieth European Conference on Artificial Intelligence (ECAI'12), Montpellier.
• Efficiently solving quantified bit-vector formulas, C. M. Winter, Y. Hamadi, and L. de Moura, Formal Methods in System Design (FMSD), Invited article, Special issue 10 years to the SMT initiative, 2012.
• Autonomous Search, Y. Hamadi, F. Saubion, and E. Monfroy, Edited book, ISBN 978-3-642-21433-2, Springer 2012.
• Learning from Conflicts in Propositional Satisfiability, Y. Hamadi, S. Jabbour, and L. Sais, Invited Survey, 4OR: A Quarterly Journal of Operations Research (4OR), 10(1), 2012.
• Deterministic Parallel DPLL: System Description, Y. Hamadi, S. Jabbour, C. Piette, and L. Sais, Int. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), Volume 7, 2011.
• Optimizing Architectural and Structural Aspects of Buildings towards Higher Energy Efficiency, A. Fialho, Y. Hamadi, and M. Schoenauer, (GECCO'11), Workshop on GreenIT Evolutionary Computation, July 2011.
• Lazy Decomposition for Distributed Decision Procedures, Y. Hamadi, J. Marques-Silva, and C. M. Wintersteiger, International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011).
• Improving Parallel Local Search for SAT, A. Arbelaez, Y. Hamadi, Learning and Intelligent Optimization (LION'11), Roma, Italy.
• Boosting Distributed Constraint Satisfaction, Y. Hamadi, and G. Ringwelski, Journal of Heuristics 2011, Volume 17, Number 3, 251-279
• Efficiently Solving Quantified Bit-Vector Formulas, C. Wintersteiger, Y. Hamadi, and L. de Moura, Formal Methods in Computer Aided Design (FMCAD'10), Lugano, Switzerland.
• Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning, V. Vidal, L. Bordeaux, and Y. Hamadi, Third International Symposium on Combinatorial Search (SoCS'10), July 2010, Stone Mountain, Atlanta, USA.
• Diversification and Intensification in Parallel SAT Solving, L. Guo, Y. Hamadi, S. Jabbour, and L. Sais, 16th International Conference on Principles and Practice of Constraint Programming (CP 2010).
• Building Portfolios for the Protein Structure Prediction Problem, A. Arbelaez, Y. Hamadi, and M. Sebag, Workshop on Constraint Based Methods for Bioinformatics (WCB'10), July 2010, Edinburgh, UK.
• Continuous Search in Constraint Programming, A. Arbelaez, Y. Hamadi, and M. Sebag, Twenty-second International Conference on Tools with Artificial Intelligence (ICTAI'10), October 2010, Arras, France. 
• Learning for Dynamic Subsumption, Y. Hamadi, S. Jabbour, and L. Sais, invited in Special Issue of the International Journal on Artificial Intelligence Tools (IJAIT) vol 19 no 4, August 2010.
• Autonomous Search, book chapter in “CPAIOR 10^th anniversary”, Y. Hamadi, E. Monfroy, and F. Saubion, Eds. M. Milano and P. Van Hentenryck, Springer 2010.
• Connection and Integration with SAT Solvers: A Survey and a Case Study with the Problem of Deciphering Discrete Genetic Networks, F. Corblin, E. Fanchon, L. Bordeaux, Y. Hamadi, and L. Trilling, book chapter in “CPAIOR 10^th anniversary”, Eds. M. Milano and P. Van Hentenryck, Springer 2010.
• Control-based Clause Sharing in Parallel SAT Solving, Y. Hamadi, S. Jabbour, and L. Sais, Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), July 2009, Pasadena, USA.
• Experiments with Massively Parallel Constraint Solving, L. Bordeaux, Y. Hamadi, and H. Samulowitz, Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), July 2009, Pasadena, USA.
• A Concurrent Portfolio Approach to SMT Solving, C. Wintersteiger, Y. Hamadi, and L. de Moura,  Twenty-one International Conference on Computer Verification (CAV'09), June 2009, Grenoble, France.
• A new collaborative scheme for computing a MUS, C. Piette, Y. Hamadi, and L. Sais, Seventh International Symposium on Frontiers of Combining Systems (FroCos’09), September 2009, Trento, Italy.
• Learning for Dynamic Subsumption, Y. Hamadi, S. Jabbour, and L. Sais, Twenty-first International Conference on Tools with Artificial Intelligence (ICTAI'09), November 2009, Pasadena, USA. (Best Paper Award.)
• ManySAT: a Parallel SAT Solver, Y. Hamadi, S. Jabbour, and L. Sais, Int. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), Volume 6, Special Issue on Parallel SAT, Ed. Y. Hamadi, IOS Press, 2009.
• Continuous Search in Constraint Programming: An Initial Investigation, A. Arbelaez, and Y. Hamadi, The Fifteen International Conference on Principles and Practice of Constraint Programming (CP'09), doctoral program, September 2009, Lisbon, Portugal.
• Online Heuristic Selection in Constraint Programming, A. Arbelaez, Y. Hamadi, and M. Sebag, International Symposium on Combinatorial Search (SoCS'09), July 2009, Lake Arrowhead, USA.
• Subsumption dynamique basée sur l'apprentissage, Y. Hamadi, S. Jabbour, and L. Sais, Journées Francophones de Programmation par Contraintes (JFPC’09), Juin 2009.
• Réordonnancement dynamique basé sur l'apprentissage, Y. Hamadi, S. Jabbour, and L. Sais, Journées Francophones de Programmation par Contraintes (JFPC’09), Juin 2009.
• Exploiting Weak Dependencies in Tree-based Search, A. Arbelaez, and Y. Hamadi, 24th Annual ACM Symposium on Applied Computing (SAC’09), March 2009 Hawaii, USA.
• Editor Special Issue on Autonomous Search, Y. Hamadi, E. Montfroy, and F. Saubion, Constraint Programming Letters (CPL), Volume 4, 2008.
• 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, Journées Francophones de Programmation par Contraintes (JFPC’08), Juin 2008.
• Vivification de formules propositionnelles clausales, C. Piette, Y. Hamadi, and L. Sais, Journées Francophones de Programmation par Contraintes (JFPC’08), Juin 2008.
• 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.
• Editor Special Issue on SAT/CP Integration, L. Bordeaux, Y. Hamadi, 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, Journées Francophones de Programmation par Contraintes (JFPC’07), Juin 2007.
•  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, (SIGGRAPH'06) ACM Trans. Graph. 25(3): 847-852 (2006).
• 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.Tarimand 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. (Invited Paper.)
• 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. Frischand 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 (WECWIS'02), 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. Piechviak, Y. Hamadi. Editor R. Mandieu. Hermès p169-205, 2002.
• 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 domainEOLE 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 (JFIADSMA'99), 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.
• 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 (JFIADSMA'96), 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.
• Traitement des problèmes de satisfaction de contraintes distribués, PhD thesis, LIRMM/CNRS, Montpellier, France.