Youssef Hamadi

 SENIOR RESEARCHER

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 MSR/INRIA joint-lab. 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.

Papers.

Books:

    Tractability, Practical Approaches to Hard Problems, Cambridge University Press 2014Tractability, Practical Approaches to Hard Problems, Cambridge University Press 2014

    Combinatorial Search: From Algorithms to Systems, Springer 2013Combinatorial Search: From Algorithms to Systems, Springer 2013   Autonomous Search, Springer 2012Autonomous Search, Springer 2012

 

Recent talks, chairs:

Projects:

  ManySAT: the awards winning parallel SAT solver.
   

csls: cooperative stochastic local-search solver: silver medal (first parallel solver), random category, SAT-Competition'11.