Researchers

Hamadi Youssef
Youssef Hamadi
Microsoft Research Cambridge
Presentation

I am heading the Constraint Reasoning Group in Microsoft Research Cambridge (MSRC) and co-heading the Adaptive Combinatorial Search for e-Science project in the Microsoft Research-Inria joint centre. Additionally, I am co-heading the Optimisation for Sustainable Development chair at École Polytechnique, and work there as an associate researcher in the LIX Laboratory. My current focus is on Autonomous Search, Parallel Search, and Propositional Satisfiability, with applications to Environmental Intelligence, Business Intelligence, and Software Verification.

Contact:
+33000000000

Publications at the Joint Centre:

2013

Conference papers

titre
Bandit-based Search for Constraint Programming
auteur
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer
article
Christian Schulte. International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. Springer Verlag, 8124, pp.464-480, 2013, LNCS; Proc. CP’2013
Accès au texte intégral et bibtex
http://hal.inria.fr/hal-00863451/file/paper123.pdf BibTex
titre
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop problem
auteur
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
article
Nicosia, Giuseppe and Pardalos, Panos. LION7 – Learning and Intelligent OptimizatioN Conference, Jan 2013, Catania, Italy. Springer Verlag, 7997, pp.315-320, 2013, LNCS
Accès au texte intégral et bibtex
http://hal.inria.fr/hal-00863453/file/Paper_67_camera_ready.pdf BibTex

2012

Journal articles

titre
Learning from Conflicts in Propositional Satisfiability
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2012, 1 (10), pp.15-32
Accès au bibtex
BibTex

Conference papers

titre
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
auteur
Said Jabbour, Nadjib Lazaar, Youssef Hamadi, Michèle Sebag
article
Workshop on Bayesian Optimization & Decision Making, 2012, Lake Tahoe, United States
Accès au bibtex
BibTex

Book sections

titre
Control-based clause sharing in Parallel SAT
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
Y. Hamadi, E. Monfroy, F. Saubion. Autonomous Search, Springer, pp.245-267, 2012
Accès au bibtex
BibTex
titre
An Introduction to Autonomous Search
auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
Hamadi, Y. and Monfroy, E. and Saubion, F. Autonomous Search, Springer-Verlag, pp.11, 2012
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Autonomous search
auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
Springer-Verlag, pp.307, 2012
Accès au bibtex
BibTex

Reports

titre
Interactive Optimization With Weighted Hypervolume Based EMO Algorithms: Preliminary Experiments
auteur
Dimo Brockhoff, Youssef Hamadi, Souhila Kaci
article
[Research Report] RR-8103, INRIA. 2012
Accès au texte intégral et bibtex
http://hal.inria.fr/hal-00741730/file/RR-8103.pdf BibTex
titre
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
auteur
Nadjib Lazaar, Youssef Hamadi, Said Jabbour, Michèle Sebag
article
[Research Report] RR-8070, INRIA. 2012, pp.18
Accès au texte intégral et bibtex
http://hal.inria.fr/hal-00733282/file/RR-8070.pdf BibTex

2011

Journal articles

titre
Deterministic Parallel DPLL
auteur
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
article
Journal on Satisfiability, Boolean Modeling and Computation, IOS Press, 2011, 7 (4), pp.127-132
Accès au texte intégral et bibtex
http://hal.archives-ouvertes.fr/hal-00868187/file/JSAT7_10_Hamadi.pdf BibTex

Conference papers

titre
Optimizing Architectural and Structural Aspects of Buildings towards Higher Energy Efficiency
auteur
Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
article
GECCO 2011 Workshop on GreenIT Evolutionary Computation, Jul 2011, Dublin, Ireland. 2011
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00591930/file/wk1303b-fialho.pdf BibTex
titre
Improving Parallel Local Search for SAT
auteur
Alejandro Arbelaez, Youssef Hamadi
article
Learning and Intelligent OptimizatioN Conference LION5, Jan 2011, Rome, Italy. 2011
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00563775/file/lion-sat.pdf BibTex
titre
Concilier Parallélisme et Déterminisme dans la Résolution de SAT
auteur
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
article
7ièmes Journées Francophones de la Programmation par Contraintes (JFPC’11), 2011, France. pp.162-172, 2011
Accès au bibtex
BibTex
titre
Deterministic Parallel DPLL: System Description
auteur
Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs
article
Pragmatics of SAT (POS’11), 2011, Ann Arbor, United States. pp.127-132, 2011
Accès au bibtex
BibTex

Book sections

titre
What is Autonomous Search?
auteur
Youssef Hamadi, Frédéric Saubion, Eric Monfroy
article
van Hentenryck P. and Milano, M. Hybrid Optimization (The 10 Years of CP-AI-OR), Springer-Verlag, pp.357-391, 2011, Optimization and its Applications
Accès au bibtex
BibTex

2010

Journal articles

titre
Learning for Dynamic Subsumption
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
International Journal on Artificial Intelligence Tools (IJAIT), 2010, 19 (4), pp.511-529
Accès au bibtex
BibTex

Conference papers

titre
Continuous Search in Constraint Programming
auteur
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
article
22th International Conference on Tools with Artificial Intelligence, Oct 2010, Arras, France. 2010
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00515137/file/dyn-cs-FinalVersion.pdf BibTex
titre
Building Portfolios for the Protein Structure Prediction Problem
auteur
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
article
Workshop on Constraint Based Methods for Bioinformatics, Jul 2010, Edinburgh, United Kingdom. 2010
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00515138/file/bio-portfolio.pdf BibTex
titre
Diversification and Intensification in Parallel {SAT} Solving
auteur
Long Guo, Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
16th International Conference on Principles and Practice of Constraint Programming (CP’10), 2010, United Kingdom. pp.252-265, 2010
Accès au texte intégral et bibtex
http://hal.archives-ouvertes.fr/hal-00865417/file/cp2010.pdf BibTex

2009

Journal articles

titre
SAT: a parallel SAT solver
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2009, 6, pp.245-262
Accès au bibtex
BibTex

Conference papers

titre
Exploiting Weak Dependencies in Tree-based Search
auteur
Alejandro Arbelaez, Youssef Hamadi
article
24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu, United States. 2009
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00344179/file/SAC-functdep.pdf BibTex
titre
Control-Based Clause Sharing in Parallel {SAT} Solving
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
21st International Joint Conference on Artificial Intelligence (IJCAI’09), 2009, Pasadena, United States. pp.499-504, 2009
Accès au bibtex
BibTex
titre
Learning for Dynamic Subsumption
auteur
Youssef Hamadi, Said Jabbour, Lakhdar Saïs
article
21st International Conference on Tools with Artificial Intelligence (ICTAI’09), 2009, Newark, United States. pp.328-335, 2009
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Special Issue on Autonomous Search
auteur
Youssef Hamadi, Eric Monfroy, Frédéric Saubion
article
CLS, pp.65, 2009
Accès au bibtex
BibTex

Other publications

titre
Continuous Search in Constraint Programming: An Initial Investigation
auteur
Alejandro Arbelaez, Youssef Hamadi
article
Constraint Programming – Doctoral Program. 2009
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00435524/file/CP-DP2009Arbelaez.pdf BibTex
titre
Online Heuristic Selection in Constraint Programming
auteur
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
article
International Symposium on Combinatorial Search – 2009. 2009
Accès au texte intégral et bibtex
http://hal.inria.fr/inria-00392752/file/search-socs.pdf BibTex

2008

Conference papers

titre
Vivifying propositional clausal formulae
auteur
Cedric Piette, Youssef Hamadi, Lakhdar Saïs
article
18th European Conference on Artificial Intelligence (ECAI’08), 2008, Patras, Greece. pp.525-529, 2008
Accès au bibtex
BibTex