| ManySAT: a parallel SAT solver Y Hamadi, S Jabbour, L Sais Journal on Satisfiability, Boolean Modelling and Computation 6 (4), 245-262, 2010 | 498 | 2010 |
| Autocollage C Rother, L Bordeaux, Y Hamadi, A Blake ACM transactions on graphics (TOG) 25 (3), 847-852, 2006 | 296 | 2006 |
| 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 | 248 | 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 | 206 | 2016 |
| 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 | 195 | 2017 |
| Propositional satisfiability and constraint programming: A comparative survey L Bordeaux, Y Hamadi, L Zhang ACM Computing Surveys (CSUR) 38 (4), 12-es, 2006 | 178 | 2006 |
| What is autonomous search? Y Hamadi, E Monfroy, F Saubion Hybrid Optimization: The Ten Years of CPAIOR, 357-391, 2011 | 176 | 2011 |
| Efficiently solving quantified bit-vector formulas CM Wintersteiger, Y Hamadi, L De Moura Formal Methods in System Design 42, 3-23, 2013 | 148 | 2013 |
| Backtracking in distributed constraint networks Y Hamadi, C Bessiere, J Quinqueton Proceedings ECAI'98, 219-223, 1998 | 139 | 1998 |
| Control-based clause sharing in parallel SAT solving Y Hamadi, S Jabbour, J Sais Autonomous Search, 245-267, 2012 | 127 | 2012 |
| A concurrent portfolio approach to SMT solving CM Wintersteiger, Y Hamadi, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 105 | 2009 |
| Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008 | 99 | 2008 |
| Experiments with Massively Parallel Constraint Solving. L Bordeaux, Y Hamadi, H Samulowitz IJCAI 2009, 443-448, 2009 | 94 | 2009 |
| Seven challenges in parallel SAT solving Y Hamadi, C Wintersteiger Ai Magazine 34 (2), 99-99, 2013 | 92 | 2013 |
| 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 |
| 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 | 75 | 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 | 63 | 2005 |
| Bandit-based search for constraint programming M Loth, M Sebag, Y Hamadi, M Schoenauer Principles and Practice of Constraint Programming: 19th International …, 2013 | 56 | 2013 |
