Researcher - Youssef Hamadi - Microsoft Research Inria 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Researchers