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, near Paris. 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 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.
- Related:
- The first Parallel SMT Solver: Z3.
- Microsoft Solver Foundation: new framework for mathematical programming, modelling, and optimisation.
- Past:
- Disolver: the distributed constraint solver. Found its way in the Microsoft Solver Foundation product line.
Editor:
- Book, Autonomous Search, Springer Verlag 2010.
- JSAT Journal, Special Issue on Parallel SAT Solving.
- Constraint Programming Letters, Special Issue on Autonomous Search.
Recent Talks:
- Control-based Clause Sharing, Algorithms and Applications for Next Generation SAT Solvers Schloss Dagstuhl seminar, November 2009.
- Tutorial on Parallel SAT, LION'09, January 2009, Trento.
member.
