Youssef Hamadi
Youssef Hamadi
Microsoft Research
Bestätigte E-Mail-Adresse bei microsoft.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
ManySAT: a Parallel SAT Solver
Y Hamadi, S Jabbour, L Sais
JSAT 6 (4), 245-262, 2009
3772009
Autocollage
C Rother, L Bordeaux, Y Hamadi, A Blake
ACM transactions on graphics (TOG) 25 (3), 847-852, 2006
3152006
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
1542006
Backtracking in distributed constraint networks
Y Hamadi, C Bessiere, J Quinqueton
European Conference on Artificial Intelligence (ECAI), 219-223, 1998
1331998
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42 (1), 3-23, 2013
1202013
What is autonomous search?
Y Hamadi, E Monfroy, F Saubion
Hybrid optimization, 357-391, 2011
1142011
Control-based clause sharing in parallel SAT solving
Y Hamadi, S Jabbour, J Sais
Autonomous Search, 245-267, 2011
1082011
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
1052016
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
842009
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
Interleaved backtracking in distributed constraint networks
Y Hamadi
International Journal on Artificial Intelligence Tools 11 (02), 167-188, 2002
762002
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
742017
Vivifying Propositional Clausal Formulae.
C Piette, Y Hamadi, L Sais
ECAI 178, 525-529, 2008
742008
Seven challenges in parallel SAT solving
Y Hamadi, C Wintersteiger
AI Magazine 34 (2), 99-99, 2013
692013
Optimal distributed arc-consistency
Y Hamadi
International conference on principles and practice of constraint …, 1999
681999
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
662005
A concurrent portfolio approach to SMT solving
CM Wintersteiger, Y Hamadi, L De Moura
International Conference on Computer Aided Verification, 715-720, 2009
652009
Diversification and intensification in parallel SAT solving
L Guo, Y Hamadi, S Jabbour, L Sais
International conference on principles and practice of constraint …, 2010
612010
Online heuristic selection in constraint programming
A Arbelaez, Y Hamadi, M Sebag
55*2009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20