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
3932009
Autocollage
C Rother, L Bordeaux, Y Hamadi, A Blake
ACM transactions on graphics (TOG) 25 (3), 847-852, 2006
3172006
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
1922006
Propositional satisfiability and constraint programming: A comparative survey
L Bordeaux, Y Hamadi, L Zhang
ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006
1612006
Backtracking in distributed constraint networks
Y Hamadi, C Bessiere, J Quinqueton
European Conference on Artificial Intelligence (ECAI), 219-223, 1998
1301998
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
1232016
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42 (1), 3-23, 2013
1232013
What is autonomous search?
Y Hamadi, E Monfroy, F Saubion
Hybrid optimization, 357-391, 2011
1222011
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2011
1092011
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
862017
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
852009
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
782008
Vivifying Propositional Clausal Formulae.
C Piette, Y Hamadi, L Sais
ECAI 178, 525-529, 2008
762008
Seven challenges in parallel SAT solving
Y Hamadi, C Wintersteiger
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012
722012
Interleaved backtracking in distributed constraint networks
Y Hamadi
International Journal on Artificial Intelligence Tools 11 (02), 167-188, 2002
702002
Optimal distributed arc-consistency
Y Hamadi
International conference on principles and practice of constraint …, 1999
681999
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L De Moura
International Conference on Computer Aided Verification, 715-720, 2009
672009
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
652005
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
International conference on principles and practice of constraint …, 2010
642010
Online heuristic selection in constraint programming
A Arbelaez, Y Hamadi, M Sebag
57*2009
The system can't perform the operation now. Try again later.
Articles 1–20