| CNF encodings S Prestwich Handbook of satisfiability, 75-100, 2021 | 170 | 2021 |
| Constraint models for the covering test problem B Hnich, SD Prestwich, E Selensky, BM Smith Constraints 11, 199-219, 2006 | 156 | 2006 |
| 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 | 99 | 2014 |
| 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 | 82 | 2000 |
| Mean-based error measures for intermittent demand forecasting S Prestwich, R Rossi, S Armagan Tarim, B Hnich International Journal of Production Research 52 (22), 6782-6791, 2014 | 72 | 2014 |
| Hard and soft constraints for reasoning about qualitative conditional preferences C Domshlak, S Prestwich, F Rossi, KB Venable, T Walsh Journal of Heuristics 12, 263-285, 2006 | 67 | 2006 |
| Random walk with continuously smoothed variable weights S Prestwich International Conference on Theory and Applications of Satisfiability …, 2005 | 66 | 2005 |
| Local search on SAT-encoded colouring problems S Prestwich International Conference on Theory and Applications of Satisfiability …, 2003 | 62 | 2003 |
| Combining the scalability of local search with the pruning techniques of systematic search S Prestwich Annals of Operations Research 115, 51-72, 2002 | 57 | 2002 |
| Piecewise linear lower and upper bounds for the standard normal first order loss function R Rossi, SA Tarim, S Prestwich, B Hnich Applied Mathematics and Computation 231, 489-502, 2014 | 54 | 2014 |
| SAT problems with chains of dependent variables S Prestwich Discrete Applied Mathematics 130 (2), 329-350, 2003 | 54 | 2003 |
| Local search for unsatisfiability S Prestwich, I Lynce International conference on theory and applications of satisfiability …, 2006 | 51 | 2006 |
| Constraint-based preferential optimization S Prestwich, F Rossi, KB Venable, T Walsh AAAI 5, 461-466, 2005 | 51 | 2005 |
| Variable dependency in local search: Prevention is better than cure S Prestwich International conference on theory and applications of satisfiability …, 2007 | 50 | 2007 |
| Local search and backtracking vs non-systematic backtracking S Prestwich AAAI 2001 Fall symposium on using uncertainty within computation, 109-115, 2001 | 50 | 2001 |
| Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand R Rossi, S Prestwich, SA Tarim, B Hnich European Journal of Operational Research 239 (3), 674-684, 2014 | 49 | 2014 |
| 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 | 49 | 2008 |
| Constraint-based approaches to the covering test problem B Hnich, S Prestwich, E Selensky International Workshop on Constraint Solving and Constraint Logic …, 2004 | 49 | 2004 |
| 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 | 48 | 2010 |
| Symmetry breaking and local search spaces S Prestwich, A Roli Integration of AI and OR Techniques in Constraint Programming for …, 2005 | 48 | 2005 |
S. Armagan TarimProfessor of Business Analytics, Hacettepe University在 hacettepe.edu.tr 的电子邮件经过验证
