Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Youssef Hamadi
Youssef Hamadi

 

I am leading the Constraint Reasoning Group in Microsoft Research Cambridge (MSRC) and co-leading the Adaptive Combinatorial Search for e-Science project in the MSR/INRIA joint-lab, near Paris. Additionally, I am co-leading the Optimisation for Sustainable Development project at École Polytechnique. My research interests include combinatorial optimization in alternative frameworks: Parallel, and Distributed architectures. I am also interested in the application of Machine Learning to Search. My current focus is on Autonomous Search, and Parallel Propositional Satisfiability.

Projects:

  • ManySAT: the awards (SAT-Race'08, SAT-Competition'09) winning parallel SAT solver.
  • Disolver: the distributed constraint solver.
  • Related:

Editor:

Recent Talks:

 Papers.


member.