ManySAT: a parallel SAT solver Y Hamadi, S Jabbour, L Sais Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010 | 474 | 2010 |
Autocollage C Rother, L Bordeaux, Y Hamadi, A Blake ACM transactions on graphics (TOG) 25 (3), 847-852, 2006 | 295 | 2006 |
Performance prediction and automated tuning of randomized and parametric algorithms F Hutter, Y Hamadi, HH Hoos, K Leyton-Brown Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 239 | 2006 |
SWIM: synthesizing what I mean: code search and idiomatic snippet synthesis M Raghothaman, Y Wei, Y Hamadi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 196 | 2016 |
Propositional satisfiability and constraint programming: A comparative survey L Bordeaux, Y Hamadi, L Zhang ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006 | 177 | 2006 |
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 | 176 | 2017 |
What is autonomous search? Y Hamadi, E Monfroy, F Saubion Hybrid Optimization: The Ten Years of CPAIOR, 357-391, 2011 | 172 | 2011 |
Backtracking in distributed constraint networks Y Hamadi, C Bessiere, J Quinqueton Proceedings ECAI'98, 219-223, 1998 | 147 | 1998 |
Efficiently solving quantified bit-vector formulas CM Wintersteiger, Y Hamadi, L De Moura Formal Methods in System Design 42, 3-23, 2013 | 145 | 2013 |
Control-based clause sharing in parallel SAT solving Y Hamadi, S Jabbour, J Sais Autonomous Search, 245-267, 2012 | 119 | 2012 |
Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008 | 93 | 2008 |
Experiments with massively parallel constraint solving L Bordeaux, Y Hamadi, H Samulowitz Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 92 | 2009 |
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 | 92 | 2008 |
A concurrent portfolio approach to SMT solving CM Wintersteiger, Y Hamadi, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 91 | 2009 |
Seven challenges in parallel SAT solving Y Hamadi, C Wintersteiger AI Magazine 34 (2), 99-99, 2013 | 90 | 2013 |
Diversification and intensification in parallel SAT solving L Guo, Y Hamadi, S Jabbour, L Sais Principles and Practice of Constraint Programming–CP 2010: 16th …, 2010 | 74 | 2010 |
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 | 73 | 2005 |
Interleaved backtracking in distributed constraint networks Y Hamadi International Journal on Artificial Intelligence Tools 11 (02), 167-188, 2002 | 71 | 2002 |
The temporal knapsack problem and its solution M Bartlett, AM Frisch, Y Hamadi, I Miguel, SA Tarim, C Unsworth Integration of AI and OR Techniques in Constraint Programming for …, 2005 | 62 | 2005 |
Configuration of computer networks Y Hamadi US Patent App. 10/281,923, 2003 | 56 | 2003 |