| ManySAT: a parallel SAT solver Y Hamadi, S Jabbour, L Sais Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010 | 473 | 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 | 238 | 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 | 195 | 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 |
| 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 |
| Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008 | 92 | 2008 |
| Seven challenges in parallel SAT solving Y Hamadi, C Wintersteiger AI Magazine 34 (2), 99-99, 2013 | 90 | 2013 |
| A concurrent portfolio approach to SMT solving CM Wintersteiger, Y Hamadi, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 89 | 2009 |
| 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 | 72 | 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 |
