Follow
Youssef Hamadi
Youssef Hamadi
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
ManySAT: a Parallel SAT Solver
Y Hamadi, S Jabbour, L Sais
JSAT 6 (4), 245-262, 2009
4202009
Autocollage
C Rother, L Bordeaux, Y Hamadi, A Blake
ACM transactions on graphics (TOG) 25 (3), 847-852, 2006
3312006
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
2122006
Propositional satisfiability and constraint programming: A comparative survey
L Bordeaux, Y Hamadi, L Zhang
ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006
1732006
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
1552016
Backtracking in distributed constraint networks
Y Hamadi, C Bessiere, J Quinqueton
European Conference on Artificial Intelligence (ECAI), 219-223, 1998
1391998
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42 (1), 3-23, 2013
1312013
What is autonomous search?
Y Hamadi, E Monfroy, F Saubion
Hybrid optimization, 357-391, 2011
1272011
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
1172017
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2011
1142011
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
912009
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
842008
Vivifying propositional clausal formulae
C Piette, Y Hamadi, L Sais
ECAI 2008, 525-529, 2008
842008
Seven challenges in parallel SAT solving
Y Hamadi, C Wintersteiger
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2120-2125, 2012
802012
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L Moura
International Conference on Computer Aided Verification, 715-720, 2009
772009
Interleaved backtracking in distributed constraint networks
Y Hamadi
International Journal on Artificial Intelligence Tools 11 (02), 167-188, 2002
712002
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
692005
Optimal distributed arc-consistency
Y Hamadi
International conference on principles and practice of constraint …, 1999
691999
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
International conference on principles and practice of constraint …, 2010
682010
Online heuristic selection in constraint programming
A Arbelaez, Y Hamadi, M Sebag
64*2009
The system can't perform the operation now. Try again later.
Articles 1–20