Steven Prestwich
Title
Cited by
Cited by
Year
Constraint models for the covering test problem
B Hnich, SD Prestwich, E Selensky, BM Smith
Constraints 11 (2-3), 199-219, 2006
1362006
CNF encodings
SD Prestwich
Handbook of satisfiability 185, 75-97, 2009
1202009
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
812000
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
712014
Random walk with continuously smoothed variable weights
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2005
692005
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), 263-285, 2006
632006
Combining the scalability of local search with the pruning techniques of systematic search
S Prestwich
Annals of Operations Research 115 (1), 51-72, 2002
532002
Local search on SAT-encoded colouring problems
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2003
492003
Local search for unsatisfiability
S Prestwich, I Lynce
International conference on theory and applications of satisfiability …, 2006
482006
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
472008
Local search and backtracking vs non-systematic backtracking
S Prestwich
AAAI 2001 Fall symposium on using uncertainty within computation, 109-115, 2001
472001
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
462014
Variable dependency in local search: Prevention is better than cure
S Prestwich
International conference on theory and applications of satisfiability …, 2007
462007
Constraint-based preferential optimization
S Prestwich, F Rossi, KB Venable, T Walsh
AAAI 5, 461-466, 2005
462005
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
452010
Symmetry breaking and local search spaces
S Prestwich, A Roli
International Conference on Integration of Artificial Intelligence (AI) and …, 2005
442005
SAT problems with chains of dependent variables
S Prestwich
Discrete Applied Mathematics 130 (2), 329-350, 2003
432003
Constraint-based approaches to the covering test problem
B Hnich, S Prestwich, E Selensky
International Workshop on Constraint Solving and Constraint Logic …, 2004
422004
Negative effects of modeling techniques on search performance
S Prestwich
Annals of Operations Research 118 (1), 137-150, 2003
422003
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
412014
The system can't perform the operation now. Try again later.
Articles 1–20