Youssef Hamadi - Concepedia

Author

Youssef Hamadi

Microsoft Research (United Kingdom)ORCID

Also Known As

Hamadi Youssef, Hamadi, Y. (Youssef), Hamadi, Youssef, Marc Schoenauer, Van Hentenryck, Pascal, Y Hamadi, Y. Hamadi, YOUSSEF HAMADI, Youssef Hamadi

161

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

Microsoft Research (United Kingdom)Laboratoire d'Informatique de l'École Polytechnique Centre National de la Recherche Scientifique Institut national de recherche en sciences et technologies du numérique Microsoft (United States)

About

Youssef Hamadi is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and combinatorial optimization.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	22	1.1K
2	Medicine	2	2	29
3	Social Sciences	1	1	17
4	Architectural Engineering	1	1	17
5	Biostatistics	1	1	13

Youssef Hamadi

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
ManySAT: a Parallel SAT Solver Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs Journal on Satisfiability Boolean Modeling and Computation EngineeringManysat BenefitsAutomated ReasoningMain WeaknessesParallel Complexity Theory	2009	308
Surrogate‐based methods for black‐box optimization Ky Vu, Claudia D’Ambrosio, Youssef Hamadi, International Transactions in Operational Research Search OptimizationModel OptimizationEngineeringMachine LearningLinear Optimization	2016	172
AutoCollage Carsten Rother, Lucas Bordeaux, Youssef Hamadi, ACM Transactions on Graphics Resulting CollagePoisson BlendingImage AnalysisMachine VisionData Science	2006	135
Backtracking in Distributed Constraint Networks Youssef Hamadi, Christian Bessière, Joël Quinqueton	1998	95
Vivifying Propositional Clausal Formulae Cédric Piette, Youssef Hamadi, Lakhdar Saïs	2010	54
Efficiently solving quantified bit-vector formulas Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura Formal Methods in System Design Mathematical ProgrammingEngineeringApproximate ComputingVectorizationComputational Complexity	2012	54
Experiments with massively parallel constraint solving Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz	2009	53
AutoCollage Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Resulting CollagePoisson BlendingImage AnalysisMachine VisionData Science	2006	51
Seven Challenges in Parallel SAT Solving Youssef Hamadi, Christoph M. Wintersteiger AI Magazine EngineeringParallel Sat SolversComputational ComplexityParallel MetaheuristicsParallel Complexity Theory	2013	50
Interleaved backtracking in distributed constraint networks Youssef Hamadi Artificial IntelligenceCluster ComputingEngineeringSearch ProcedureNetwork Analysis	2002	49

Page 1