Seguir
Steven Prestwich
Steven Prestwich
Lecturer in Computer Science, University College Cork, Ireland
Dirección de correo verificada de cs.ucc.ie
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20