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
1342006
CNF Encodings.
SD Prestwich
Handbook of satisfiability 185, 75-97, 2009
1192009
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
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
682014
Random walk with continuously smoothed variable weights
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2005
672005
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
622006
Combining the scalability of local search with the pruning techniques of systematic search
S Prestwich
Annals of Operations Research 115 (1), 51-72, 2002
542002
Local search on SAT-encoded colouring problems
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2003
502003
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
462008
Local search for unsatisfiability
S Prestwich, I Lynce
International conference on theory and applications of satisfiability …, 2006
462006
Constraint-based preferential optimization
S Prestwich, F Rossi, KB Venable, T Walsh
AAAI 5, 461-466, 2005
462005
Local search and backtracking vs non-systematic backtracking
S Prestwich
AAAI 2001 Fall symposium on using uncertainty within computation, 109-115, 2001
462001
Variable dependency in local search: Prevention is better than cure
S Prestwich
International conference on theory and applications of satisfiability …, 2007
442007
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
432010
Symmetry breaking and local search spaces
S Prestwich, A Roli
International Conference on Integration of Artificial Intelligence (AI) and …, 2005
432005
Constraint-based approaches to the covering test problem
B Hnich, S Prestwich, E Selensky
International Workshop on Constraint Solving and Constraint Logic …, 2004
432004
SAT problems with chains of dependent variables
S Prestwich
Discrete Applied Mathematics 130 (2), 329-350, 2003
432003
Negative effects of modeling techniques on search performance
S Prestwich
Annals of Operations Research 118 (1), 137-150, 2003
432003
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
402014
Randomised backtracking for linear pseudo-boolean constraint problems
SD Prestwich
Proceedings of the 4th International Workshop on Integration of AI and OR …, 2002
402002
The system can't perform the operation now. Try again later.
Articles 1–20