| Constraint models for the covering test problem B Hnich, SD Prestwich, E Selensky, BM Smith Constraints 11 (2-3), 199-219, 2006 | 115 | 2006 |
| CNF Encodings. SD Prestwich Handbook of satisfiability 185, 75-97, 2009 | 102 | 2009 |
| A hybrid search architecture applied to hard random 3-SAT and low-autocorrelation binary sequences S Prestwich International Conference on Principles and Practice of Constraint …, 2000 | 77 | 2000 |
| Random walk with continuously smoothed variable weights S Prestwich International Conference on Theory and Applications of Satisfiability …, 2005 | 64 | 2005 |
| Hard and soft constraints for reasoning about qualitative conditional preferences C Domshlak, S Prestwich, F Rossi, KB Venable, T Walsh Journal of Heuristics 12 (4-5), 263-285, 2006 | 58 | 2006 |
| Combining the scalability of local search with the pruning techniques of systematic search S Prestwich Annals of Operations Research 115 (1-4), 51-72, 2002 | 52 | 2002 |
| Computational protein design as an optimization problem D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ... Artificial Intelligence 212, 59-79, 2014 | 49 | 2014 |
| Local search on SAT-encoded colouring problems S Prestwich International Conference on Theory and Applications of Satisfiability …, 2003 | 48 | 2003 |
| A global chance-constraint for stochastic inventory systems under service level constraints R Rossi, SA Tarim, B Hnich, S Prestwich Constraints 13 (4), 490-517, 2008 | 44 | 2008 |
| Local search and backtracking vs non-systematic backtracking S Prestwich AAAI 2001 Fall symposium on using uncertainty within computation, 109-115, 2001 | 44 | 2001 |
| Constraint-based preferential optimization S Prestwich, F Rossi, KB Venable, T Walsh AAAI 5, 461-466, 2005 | 43 | 2005 |
| Variable dependency in local search: Prevention is better than cure S Prestwich International conference on theory and applications of satisfiability …, 2007 | 42 | 2007 |
| Local search for unsatisfiability S Prestwich, I Lynce International conference on theory and applications of satisfiability …, 2006 | 41 | 2006 |
| Negative effects of modeling techniques on search performance S Prestwich Annals of Operations Research 118 (1-4), 137-150, 2003 | 41 | 2003 |
| Symmetry breaking and local search spaces S Prestwich, A Roli International Conference on Integration of Artificial Intelligence (AI) and …, 2005 | 39 | 2005 |
| Generalised graph colouring by a hybrid of local search and constraint programming S Prestwich Discrete Applied Mathematics 156 (2), 148-158, 2008 | 38 | 2008 |
| Constraint-based approaches to the covering test problem B Hnich, S Prestwich, E Selensky International Workshop on Constraint Solving and Constraint Logic …, 2004 | 38 | 2004 |
| SAT problems with chains of dependent variables S Prestwich Discrete Applied Mathematics 130 (2), 329-350, 2003 | 38 | 2003 |
| Randomised backtracking for linear pseudo-boolean constraint problems S Prestwich Proceedings of the 4th International Workshop on Integration of AI and OR …, 2002 | 38 | 2002 |
| Computing the non-stationary replenishment cycle inventory policy under stochastic supplier lead-times R Rossi, SA Tarim, B Hnich, S Prestwich International Journal of Production Economics 127 (1), 180-189, 2010 | 36 | 2010 |
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at ieu.edu.tr
