Follow
Steven Prestwich
Title
Cited by
Cited by
Year
CNF Encodings.
SD Prestwich
Handbook of satisfiability 185, 75-97, 2009
1612009
Constraint models for the covering test problem
B Hnich, SD Prestwich, E Selensky, BM Smith
Constraints 11, 199-219, 2006
1552006
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
932014
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
802000
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
692014
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
672006
Random walk with continuously smoothed variable weights
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2005
672005
Local search on SAT-encoded colouring problems
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2003
612003
Combining the scalability of local search with the pruning techniques of systematic search
S Prestwich
Annals of Operations Research 115, 51-72, 2002
542002
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
532014
SAT problems with chains of dependent variables
S Prestwich
Discrete Applied Mathematics 130 (2), 329-350, 2003
532003
Local search for unsatisfiability
S Prestwich, I Lynce
International conference on theory and applications of satisfiability …, 2006
512006
Constraint-based preferential optimization
S Prestwich, F Rossi, KB Venable, T Walsh
AAAI 5, 461-466, 2005
512005
Variable dependency in local search: Prevention is better than cure
S Prestwich
International conference on theory and applications of satisfiability …, 2007
492007
Symmetry breaking and local search spaces
S Prestwich, A Roli
Integration of AI and OR Techniques in Constraint Programming for …, 2005
492005
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
482014
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
482008
Constraint-based approaches to the covering test problem
B Hnich, S Prestwich, E Selensky
International Workshop on Constraint Solving and Constraint Logic …, 2004
482004
Local search and backtracking vs non-systematic backtracking
S Prestwich
AAAI 2001 Fall symposium on using uncertainty within computation, 109-115, 2001
482001
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
472010
The system can't perform the operation now. Try again later.
Articles 1–20