Y
Youssef Hamadi
Researcher at École Polytechnique
Publications - 149
Citations - 3544
Youssef Hamadi is an academic researcher from École Polytechnique. The author has contributed to research in topics: Constraint programming & Constraint satisfaction. The author has an hindex of 30, co-authored 149 publications receiving 3304 citations. Previous affiliations of Youssef Hamadi include Advanced Technologies Center & École Normale Supérieure.
Papers
More filters
Journal ArticleDOI
ManySAT: a Parallel SAT Solver
TL;DR: In this paper, ManySAT a new portfolio-based parallel SAT solver is thoroughly described, which benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their lack of robustness.
Book
Tractability: Practical Approaches to Hard Problems
TL;DR: Tractability and modern satisfiability modulo theories solvers Nikolaj Bjorner and Leonardo de Moura.
Journal Article
Performance prediction and automated tuning of randomized and parametric algorithms
TL;DR: In this paper, the run-time distributions of incomplete and randomized search methods, such as stochastic local search algorithms, are predicted using machine learning models, and information about an algorithm's parameter settings can be incorporated into a model, and automatically adjusted the algorithm's parameters on a per-instance basis in order to optimize its performance.
Book ChapterDOI
Performance prediction and automated tuning of randomized and parametric algorithms
TL;DR: It is demonstrated for the first time how information about an algorithm's parameter settings can be incorporated into a model, and how such models can be used to automatically adjust the algorithm's parameters on a per-instance basis in order to optimize its performance.
Proceedings ArticleDOI
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis
TL;DR: SWIM as mentioned in this paper is a tool that suggests code snippets given API-related natural language queries such as "generate md5 hash code". The query does not need to contain framework-specific trivia such as the type names or methods of interest.