Youssef Hamadi
Youssef Hamadi
Microsoft Research
Verified email at - Homepage
TitleCited byYear
ManySAT: a Parallel SAT Solver
Y Hamadi, S Jabbour, L Sais
JSAT 6 (4), 245-262, 2009
C Rother, L Bordeaux, Y Hamadi, A Blake
ACM transactions on graphics (TOG) 25 (3), 847-852, 2006
Performance prediction and automated tuning of randomized and parametric algorithms
F Hutter, Y Hamadi, HH Hoos, K Leyton-Brown
International Conference on Principles and Practice of Constraint …, 2006
Propositional satisfiability and constraint programming: A comparative survey
L Bordeaux, Y Hamadi, L Zhang
ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006
Backtracking in distributed constraint networks
Y Hamadi, C Bessiere, J Quinqueton
European Conference on Artificial Intelligence (ECAI), 219-223, 1998
What is autonomous search?
Y Hamadi, E Monfroy, F Saubion
Hybrid optimization, 357-391, 2011
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42 (1), 3-23, 2013
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2011
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
Interleaved backtracking in distributed constraint networks
Y Hamadi
International Journal on Artificial Intelligence Tools 11 (02), 167-188, 2002
A generalized framework for conflict analysis
G Audemard, L Bordeaux, Y Hamadi, S Jabbour, L Sais
International conference on theory and applications of satisfiability …, 2008
Swim: Synthesizing what i mean-code search and idiomatic snippet synthesis
M Raghothaman, Y Wei, Y Hamadi
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
Vivifying Propositional Clausal Formulae.
C Piette, Y Hamadi, L Sais
ECAI 178, 525-529, 2008
Optimal distributed arc-consistency
Y Hamadi
International conference on principles and practice of constraint …, 1999
Parameter adjustment based on performance prediction: Towards an instance-aware problem solver
F Hutter, Y Hamadi
Microsoft Research, Tech. Rep. MSR-TR-2005-125, 2005
Seven challenges in parallel SAT solving
Y Hamadi, CM Wintersteiger
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L De Moura
International Conference on Computer Aided Verification, 715-720, 2009
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
International conference on principles and practice of constraint …, 2010
Surrogate‐based methods for black‐box optimization
KK Vu, C d'Ambrosio, Y Hamadi, L Liberti
International Transactions in Operational Research 24 (3), 393-424, 2017
Online heuristic selection in constraint programming
A Arbelaez, Y Hamadi, M Sebag
The system can't perform the operation now. Try again later.
Articles 1–20