Steven Prestwich
TitleCited byYear
Constraint models for the covering test problem
B Hnich, SD Prestwich, E Selensky, BM Smith
Constraints 11 (2-3), 199-219, 2006
1142006
CNF Encodings.
SD Prestwich
Handbook of satisfiability 185, 75-97, 2009
1002009
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
772000
Random walk with continuously smoothed variable weights
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2005
642005
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
582006
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
522002
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
492014
Local search on SAT-encoded colouring problems
S Prestwich
International Conference on Theory and Applications of Satisfiability …, 2003
482003
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
442008
Constraint-based preferential optimization
S Prestwich, F Rossi, KB Venable, T Walsh
AAAI 5, 461-466, 2005
432005
Local search and backtracking vs non-systematic backtracking
S Prestwich
AAAI 2001 Fall symposium on using uncertainty within computation, 109-115, 2001
432001
Variable dependency in local search: Prevention is better than cure
S Prestwich
International conference on theory and applications of satisfiability …, 2007
412007
Local search for unsatisfiability
S Prestwich, I Lynce
International conference on theory and applications of satisfiability …, 2006
412006
Negative effects of modeling techniques on search performance
S Prestwich
Annals of Operations Research 118 (1-4), 137-150, 2003
402003
Symmetry breaking and local search spaces
S Prestwich, A Roli
International Conference on Integration of Artificial Intelligence (AI) and …, 2005
392005
SAT problems with chains of dependent variables
S Prestwich
Discrete Applied Mathematics 130 (2), 329-350, 2003
382003
Randomised backtracking for linear pseudo-boolean constraint problems
S Prestwich
Proceedings of the 4th International Workshop on Integration of AI and OR …, 2002
382002
Constraint-based approaches to the covering test problem
B Hnich, S Prestwich, E Selensky
International Workshop on Constraint Solving and Constraint Logic …, 2004
372004
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
362010
Generalised graph colouring by a hybrid of local search and constraint programming
S Prestwich
Discrete Applied Mathematics 156 (2), 148-158, 2008
362008
The system can't perform the operation now. Try again later.
Articles 1–20