Research Profile

Steven David Prestwich

Biography

Steve Prestwich has lectured in the Computer Science department since
1997 and is a member of the Cork Constraint Computation Centre.  From
1996-7 he was a Senior Software Research Engineer at the Advanced
Technology Centre, Nortel PLC, Harlow Laboratories, England.  From
198996 he was a Researcher at the European Computer-Industry Research
Centre (ECRC), Munich, Germany.  From 19854-8 he took an MSc and PhD
in Computer Science at the University of Manchester, UK.  From 1981-04
he was a Software Engineer at Ferranti Computer Systems PLC,
Manchester, UK.  From 1979-81 he took a BA (Hons) Mathematics at
St. Peter's College, University of Oxford, UK.

Research Interests

Steve works on Constraint Programming, Boolean Satisfiability (SAT),
Artificial Intelligence, reasoning under uncertainty, evolutionary
search, local search, hybrid search, problem modeling, and symmetry.

 

Publications

Book Chapters

 YearPublication
(2010)'A Survey on CP-AI-OR Hybrids for Decision Making under Uncertainty'
Hnich, B; Rossi, R; Tarim, SA; Prestwich, S; (2010) 'A Survey on CP-AI-OR Hybrids for Decision Making under Uncertainty' In: Hybrid Optimization: the 10 Years of CP-AI-OR. US: Springer. [Details]
(2009)'CNF Encodings'
Steven Prestwich; (2009) 'CNF Encodings' In: Handbook of Satisfiability. Netherlands: IOS Press. [Details]
(2008)'The Relation Between Complete and Incomplete Search. Hybrid Metaheuristics: An Emerging Approach to Optimization. Chapter 3'
S. D. Prestwich; (2008) 'The Relation Between Complete and Incomplete Search. Hybrid Metaheuristics: An Emerging Approach to Optimization. Chapter 3' In: Studies in Computational Intelligence, Vol. 114. Blum, C., Blesa Aguilera, M. J., Roli, A., Sampels, M. (Eds.). [Details]
(2007)'Finding Large Cliques using SAT Local Search. Chapter 15'
S. D. Prestwich; (2007) 'Finding Large Cliques using SAT Local Search. Chapter 15' In: Trends in Constraint Programming, F. Benhamou, N. Jussien, B. O'Sullivan (eds.). ISTE: [Details]
(2007)'Constraint Modeling and Reformulation. Part II'
I. Miguel, S. D. Prestwich; (2007) 'Constraint Modeling and Reformulation. Part II' In: Trends in Constraint Programming, F. Benhamou, N. Jussien, B. O'Sullivan (eds.). ISTE: [Details]
(2007)'Cost-Based Filtering for Stochastic Inventory Control'
S. A. Tarim, B. Hnich, R. Rossi, S. D. Prestwich; (2007) 'Cost-Based Filtering for Stochastic Inventory Control' In: Recent Advances in Constraints, Lecture Notes in Artificial Intelligence vol. 4651. [Details]
(2005)'Constraint-Based Approaches to the Covering Test Problem'
B. Hnich, S. Prestwich, E. Selensky; (2005) 'Constraint-Based Approaches to the Covering Test Problem' In: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, Lecture Notes in Computer Science 3419. Springer. [Details]
(2003)'A Local Search Algorithm for Balanced Incomplete Block Designs'
S. D. Prestwich; (2003) 'A Local Search Algorithm for Balanced Incomplete Block Designs' In: Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Lecture Notes in Artificial Intelligence vol. 2627. Springer-Verlag. [Details]
(2003)'Local Search on SAT-Encoded Colouring Problems'
S. D. Prestwich; (2003) 'Local Search on SAT-Encoded Colouring Problems' In: Sixth International Conference on the Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science vol. 2919. Springer. [Details]
(1999)'A Generic Approach to Combining Stochastic Algorithms With Systematic Constraint Solvers'
S. D. Prestwich; (1999) 'A Generic Approach to Combining Stochastic Algorithms With Systematic Constraint Solvers' In: Frontiers of Combining Systems 2, D. M. Gabbay and M. de Rijke (eds.). Research Studies Press/Wiley. [Details]
(1999)'Three CLP Implementations of Branch-and-Bound Optimization'
S. D. Prestwich; (1999) 'Three CLP Implementations of Branch-and-Bound Optimization' In: Parallelism and Implementation of Logic and Constraint Logic Programming. Ines de Castro Dutra, Manuel Carro, Vitor Santos Costa, Gopal Gupta, Enrico Pontelli, Fernando Silva (eds.). Nova Science Publishers, Inc. [Details]

Peer Reviewed Journals

 YearPublication
(2014)'Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing'
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich (2014) 'Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing'. International Journal of Forecasting, [Details]
(2014)'Piecewise Linear Lower and Upper Bounds for the Standard Normal First Order Loss Function'
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich (2014) 'Piecewise Linear Lower and Upper Bounds for the Standard Normal First Order Loss Function'. Applied Mathematics and Computation, [Details]
(2014)'Computational Protein Design as an Optimization Problem'
D. Allouche, J. Davies, S. de Givry, G. Katsirelos, T. Schiex, I. Andre, S. Barbe, S. Traore, S. Prestwich, B. O'Sullivan (2014) 'Computational Protein Design as an Optimization Problem'. Artificial Intelligence Journal, [Details]
(2014)'Confidence-based Optimization for the Newsvendor Problem under Binomial, Poisson and Exponential Demand'
R. Rossi, S. Prestwich, S. A. Tarim, B. Hnich (2014) 'Confidence-based Optimization for the Newsvendor Problem under Binomial, Poisson and Exponential Demand'. European Journal of Operations Research, [Details]
(2014)'Mean-Based Error Measures for Intermittent Demand Forecasting'
S. Prestwich, R. Rossi, S. A. Tarim, B. Hnich (2014) 'Mean-Based Error Measures for Intermittent Demand Forecasting'. International Journal of Production Research, [Details]
(2012)'Partial Symmetry Breaking by Local Search in the Group'
S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim (2012) 'Partial Symmetry Breaking by Local Search in the Group'. Constraints, [Details]
(2012)'Constraint programming for stochastic inventory systems under shortage cost'
Rossi, R,Tarim, SA,Hnich, B,Prestwich, S (2012) 'Constraint programming for stochastic inventory systems under shortage cost'. Annals of Operations Research, 195 :49-71 [DOI] [Details]
(2012)'Filtering Algorithms for Global Chance Constraints'
B. Hnich, R. Rossi, S. A. Tarim, S. D. Prestwich (2012) 'Filtering Algorithms for Global Chance Constraints'. Artificial Intelligence, [Details]
(2011)'Constraint Programming for Stochastic Inventory Systems under Shortage Cost'
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich; (2011) 'Constraint Programming for Stochastic Inventory Systems under Shortage Cost'. Annals of Operations Research, [Details]
(2011)'A Neuroevolutionary Approach to Stochastic Inventory Control in Multi-Echelon Systems'
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich; (2011) 'A Neuroevolutionary Approach to Stochastic Inventory Control in Multi-Echelon Systems'. International Journal of Production Research, [Details]
(2010)'A State Space Augmentation Algorithm for the Replenishment Cycle Inventory Policy'
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich; (2010) 'A State Space Augmentation Algorithm for the Replenishment Cycle Inventory Policy'. International Journal of Production Economics, [Details]
(2010)'Computing the Non-Stationary Replenishment Cycle Inventory Policy Under Stochastic Supplier Lead-Times'
R. Rossi, S. A. Tarim, B. Hnich and S. Prestwich; (2010) 'Computing the Non-Stationary Replenishment Cycle Inventory Policy Under Stochastic Supplier Lead-Times'. International Journal of Production Economics, [Details]
(2009)'Finding Reliable Solutions: Event-Driven Probabilistic Constraint Programming'
S. A. Tarim, B. Hnich, R. Rossi and S. D. Prestwich; (2009) 'Finding Reliable Solutions: Event-Driven Probabilistic Constraint Programming'. Annals of Operations Research, 171 (1):77-99 [Details]
(2009)'Scheduling Internal Audit Activities: A Stochastic Combinatorial Optimization Problem'
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich, S. Karacaer; (2009) 'Scheduling Internal Audit Activities: A Stochastic Combinatorial Optimization Problem'. Jnl. Combinatorial Optimization, 19 (3):325-346 [Details]
(2009)'A note on Liu-Iwamura's dependent-chance programming'
Rossi, R,Tarim, SA,Hnich, B,Prestwich, S,Guran, C; (2009) 'A note on Liu-Iwamura's dependent-chance programming'. European Journal of Operational Research, 198 :983-986 [DOI] [Details]
(2009)'Cost-based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints'
S. A. Tarim, B. Hnich, R. Rossi and S. D. Prestwich.; (2009) 'Cost-based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints'. Constraints, 14 (2):137-176 [Details]
(2008)'Generalized Graph Colouring by a Hybrid of Local Search and Constraint Programming'
S. D. Prestwich; (2008) 'Generalized Graph Colouring by a Hybrid of Local Search and Constraint Programming'. Discrete Applied Mathematics, 156 :148-158 [Details]
(2008)'Boosting Haplotype Inference With Local Search'
Lynce, I, Marques-Silva, J, Prestwich, S; (2008) 'Boosting Haplotype Inference With Local Search'. Constraints, 13 (1-2):155-179 [DOI] [Details]
(2008)'A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints'
R. Rossi, S. A. Tarim, B. Hnich and S. D. Prestwich.; (2008) 'A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints'. Constraints, 13 (4):490-517 [Details]
(2007)'Exploiting Relaxation in Local Search for LABS'
S. D. Prestwich.; (2007) 'Exploiting Relaxation in Local Search for LABS'. Annals of Operations Research, 156 (1):129-141 [Details]
(2006)'Constraint Models for the Covering Test Problem'
B. Hnich, S. D. Prestwich, E. Selensky, B. M. Smith; (2006) 'Constraint Models for the Covering Test Problem'. Constraints, 11 (3):199-219 [Details]
(2006)'Hard and Soft Constraints for Reasoning About Qualitative Conditional Preferences'
C. Domshlak, S. Prestwich, F. Rossi, K. B. Venable, T. Walsh.; (2006) 'Hard and Soft Constraints for Reasoning About Qualitative Conditional Preferences'. Journal of Heuristics, 12 ((4-5)):263-285 [Details]
(2006)'Template Design under Demand Uncertainty by Integer Linear Local Search'
S. D. Prestwich, S. A. Tarim, B. Hnich.; (2006) 'Template Design under Demand Uncertainty by Integer Linear Local Search'. International Journal of Production Research, 44 (22/15):4915-4928 [Details]
(2005)'A SAT Approach to Query Optimization in Mediator Systems'
S. D. Prestwich, S. Bressan.; (2005) 'A SAT Approach to Query Optimization in Mediator Systems'. Annals of Mathematics and Artificial Intelligence, 43 ((1-4)):195-210 [Details]
(2004)'Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems'
S. D. Prestwich; (2004) 'Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems'. Annals of Operations Research, 130 :57-73 [Details]
(2003)'Negative Effects of Modeling Techniques on Search Performance'
S. D. Prestwich.; (2003) 'Negative Effects of Modeling Techniques on Search Performance'. Annals of Operations Research, 118 :137-150 [Details]
(2002)'Coloration Neighbourhood Search With Forward Checking'
S. D. Prestwich.; (2002) 'Coloration Neighbourhood Search With Forward Checking'. Annals of Mathematics and Artificial Intelligence, 34 (4):327-3401 [Details]
(2002)'SAT Problems With Chains of Dependent Variables'
S. D. Prestwich.; (2002) 'SAT Problems With Chains of Dependent Variables'. Discrete Applied Mathematics, 3037 :1-22 [Details]
(2002)'Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search'
S. D. Prestwich.; (2002) 'Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search'. Annals of Operations Research, 115 :51-72 [Details]
(2000)'Some Pitfalls of Parallel Logic Programming'
S. D. Prestwich; (2000) 'Some Pitfalls of Parallel Logic Programming'. Computers and Artificial Intelligence, 19 (4):299-315 [Details]

Conference Publications

 YearPublication
(2014)21st European Conference on Artificial Intelligence
R. Rossi, S. Prestwich, S. A. Tarim (2014) Statistical Constraints 21st European Conference on Artificial Intelligence Prague, [Details]
(2014)21st European Conference on Artificial Intelligence
S. D. Prestwich, M. Laumanns, B. Kawas (2014) Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation 21st European Conference on Artificial Intelligence Prague, [Details]
(2013)19th International Conference on Principles and Practice of Constraint Programming
S. D. Prestwich, M. Laumanns, B. Kawas (2013) Value Interchangeability in Scenario Generation 19th International Conference on Principles and Practice of Constraint Programming Uppsala, [Details]
(2013)19th International Conference on Principles and Practice of Constraint Programming
S. DeGivry, S. D. Prestwich, B. O'Sullivan (2013) Dead-End Elimination for Weighted CSP 19th International Conference on Principles and Practice of Constraint Programming [Details]
(2011)12th Congres Annuel de la Societe Francaise de Recherche Operationnelle et d'Aide a la Decision (ROADEF)
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich; (2011) Solving the Newsvendor Problem under Partial Demand Information 12th Congres Annuel de la Societe Francaise de Recherche Operationnelle et d'Aide a la Decision (ROADEF) [Details]
(2011)2nd International Conference on Algorithmic Decision Theory
B. Kawas, M. Laumanns, E. Pratsini, S. Prestwich; (2011) Risk Averse Production Planning 2nd International Conference on Algorithmic Decision Theory [Details]
(2011)International Joint Conference on Artificial Intelligence
R. Rossi, B. Hnich, S. A. Tarim, S. Prestwich; (2011) Finding (α,ϑ)-solutions via Sampled SCSP International Joint Conference on Artificial Intelligence [Details]
(2010)International Conference on Operations Research: Mastering Complexity
Laumanns, M; Pratsini, E; Prestwich, S; Tiseanu, CS; (2010) Production Planning under Non-Compliance Risk International Conference on Operations Research: Mastering Complexity Munich, Germany, [Details]
(2010)7th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming
Prestwich, SD; Tarim, SA; Rossi, R; Hnick, B; (2010) Stochastic Constraint Programming by Neuroevolution With Filtering 7th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming [Details]
(2010)10th International Workshop on Symmetry in Constraint Satisfaction Problems
Karakashian, S; Woodword, R; Choueiry, BY; Prestwich, SD; Freuder, EC; (2010) A Partial Taxonomy of Substitutability and Interchangeability 10th International Workshop on Symmetry in Constraint Satisfaction Problems [Details]
(2010)24th Mini EURO Conference
Rossi, R; Tarim, SA; Hnick, B; Prestwich, SD; (2010) Computing Replenishment Cycle Policy Parameters for a Perishable Item 24th Mini EURO Conference [Details]
(2010)Toulouse Global Optimization Workshop
Rossi, R; Tarim, SA; Hnick, B; Prestwich, SD; Hendrix, EMT; (2010) On a CP Approach to Solve a MINLP Inventory Model Toulouse Global Optimization Workshop [Details]
(2009)6th International Workshop on Local Search Techniques in Constraint Satisfaction
D. Pereira, Ines Lynce, Steven Prestwich; (2009) On Improving Local Search for Unsatisfiability 6th International Workshop on Local Search Techniques in Constraint Satisfaction [Details]
(2009)9th International Workshop on Symmetry and Constraint Satisfaction Problems
S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim; (2009) Boosting Partial Symmetry Breaking by Local Search 9th International Workshop on Symmetry and Constraint Satisfaction Problems [Details]
(2009)1st International Conference on Algorithmic Decision Theory
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich; (2009) Neuroevolutionary Inventory Control in Multi-Echelon Systems 1st International Conference on Algorithmic Decision Theory [Details]
(2009)15th International Conference on Principles and Practice of Constraint Programming
B. Hnich, R. Rossi, S. A. Tarim, S. D. Prestwich; (2009) Synthesizing Filtering Algorithms for Global Chance-Constraints 15th International Conference on Principles and Practice of Constraint Programming [Details]
(2009)15th International Conference on Principles and Practice of Constraint Programming
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich; (2009) Evolving Parameterised Policies for Stochastic Constraint Programming 15th International Conference on Principles and Practice of Constraint Programming [Details]
(2009)9th International Workshop on Symmetry and Constraint Satisfaction Problems, 2009-01-01
S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim; (2009) Boosting Partial Symmetry Breaking by Local Search 9th International Workshop on Symmetry and Constraint Satisfaction Problems, 2009-01-01 [Details]
(2009)8th World Congress on Chemical Engineering, Montréal, Canada
Cronin, K., Prestwich, S. and Byrne, E. P., . (2009) Minimizing board moisture content variability in timber processing 8th World Congress on Chemical Engineering, Montréal, Canada [Details]
(2009)SYMCON 09 - Ninth International Workshop on Symmetry and Constraint Satisfaction Problems (CP2009)
S. D. Prestwich and B. Hnich and H. Simonis and R. Rossi and S. A. Tarim (2009) Symmetry Breaking by Local Search SYMCON 09 - Ninth International Workshop on Symmetry and Constraint Satisfaction Problems (CP2009) Lisbon, Portugal, [Details]
(2008)5th International Workshop on Hybrid Metaheuristics
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich.; (2008) A Cultural Algorithm for POMDPs from Stochastic Inventory Control 5th International Workshop on Hybrid Metaheuristics , pp.16-28 [Details]
(2008)10th International Conference on Parallel Problem Solving From Nature
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich; (2008) A Steady-State Genetic Algorithm With Resampling for Noisy Inventory Contro 10th International Conference on Parallel Problem Solving From Nature , pp.559-568 [Details]
(2008)5th International Workshop on Local Search Techniques in Constraint Satisfaction
R. Rossi, S. D. Prestwich, S. A. Tarim, B. Hnich.; (2008) Generalizing Backdoors 5th International Workshop on Local Search Techniques in Constraint Satisfaction [Details]
(2008)8th International Workshop on Symmetry and Constraint Satisfaction Problems
S. D. Prestwich, B. Hnich, R. Rossi, S. A. Tarim.; (2008) Symmetry Breaking by Metaheuristic Search 8th International Workshop on Symmetry and Constraint Satisfaction Problems [Details]
(2008)19th Irish Conference on Artificial Intelligence and Cognitive Science
S. D. Prestwich, B. Hnich, R. Rossi, S. A. Tarim.; (2008) Symmetry Breaking by Nonstationary Optimisation 19th Irish Conference on Artificial Intelligence and Cognitive Science [Details]
(2008)5th International Workshop on Local Search Techniques in Constraint Satisfaction
S. Verachi, S. D. Prestwich.; (2008) Constructive vs Perturbative Local Search for General Integer Linear Programming 5th International Workshop on Local Search Techniques in Constraint Satisfaction [Details]
(2008)19th Irish Conference on Artificial Intelligence and Cognitive Science, Cork
S. A. Tarim, B. Hnich, R. Rossi S. D. Prestwich.; (2008) A Decision Support System for Computing Optimal Replenishment Cycle Policy Parameters 19th Irish Conference on Artificial Intelligence and Cognitive Science, Cork [Details]
(2008)19th Irish Conference on Artificial Intelligence and Cognitive Science
C. Nugent, D. Curran, S. D. Prestwich, J. Little; (2008) A Hybrid Evolutionary Approach to Forest Management 19th Irish Conference on Artificial Intelligence and Cognitive Science [Details]
(2007)Tenth International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science
S. D. Prestwich.; (2007) Variable Dependency in Local Search: Prevention is Better than Cure Tenth International Conference on Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science , pp.107-120 [Details]
(2007)Doctoral Programme, CP'07
R. Rossi, S. A. Tarim, B. Hnich, S. D. Prestwich; (2007) Cost-Based Filtering for Stochastic Inventory Systems With Shortage Cos Doctoral Programme, CP'07 [Details]
(2007)22nd Conference on Artificial Intelligence (AAAI) NECTAR track
S. D. Prestwich, I. Lynce.; (2007) Refutation by Randomised General Resolution 22nd Conference on Artificial Intelligence (AAAI) NECTAR track [Details]
(2007)7th International Workshop on Symmetry and Constraint Satisfaction Problems
F. Aloul, I. Lynce, S. D. Prestwich; (2007) Symmetry Breaking in Local Search for Unsatisfiability 7th International Workshop on Symmetry and Constraint Satisfaction Problems [Details]
(2007)18th Irish Conference on Artificial Intelligence and Cognitive Science
S. Verachi, S. D. Prestwich.; (2007) Constructive vs Perturbative Local Search for General Integer Linear Programming 18th Irish Conference on Artificial Intelligence and Cognitive Science [Details]
(2007)Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich.; (2007) Replenishment Planning for Stochastic Inventory Systems with Shortage Cost Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [Details]
(2006)Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization
S. A. Tarim, B. Hnich, S. D. Prestwich.; (2006) Event-Driven Probabilistic Constraint Programming Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization [Details]
(2006)Ninth International Conference on Theory and Applications of Satisfiability Testing
S. D. Prestwich, I. Lynce.; (2006) Local Search for Unsatisfiability Ninth International Conference on Theory and Applications of Satisfiability Testing [Details]
(2006)Doctoral Programme
R. Rossi, S. D. Prestwich.; (2006) A Global Constraint for Computing Exact Buffer Stock Levels in Stochastic Inventory Control Doctoral Programme [Details]
(2006)Third International Workshop on Local Search Techniques in Constraint Satisfaction
S. D. Prestwich.; (2006) Modelling Clique Problems for SAT Local Search Third International Workshop on Local Search Techniques in Constraint Satisfaction [Details]
(2006)Fifth International Workshop on Constraint Modelling and Reformulation, Nantes
S. D. Prestwich.; (2006) Consistency Reasoning for Removing Constraints and Clauses Fifth International Workshop on Constraint Modelling and Reformulation, Nantes [Details]
(2006)Workshop on the Integration of SAT and CP techniques
C. Quirke, S. D. Prestwich; (2006) Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems Workshop on the Integration of SAT and CP techniques [Details]
(2006)Workshop on the Integration of SAT and CP techniques
Quirke, C. Prestwich, S. D.; (2006) Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems . In: * eds. Workshop on the Integration of SAT and CP techniques Nantes, France, , 25-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2005)Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
S. D. Prestwich, A. Roli.; (2005) Symmetry Breaking and Local Search Spaces Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Springer, , pp.273-287 [Details]
(2005)Doctoral paper, Eleventh International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science
S. Verachi, S. D. Prestwich; (2005) Bounds-Consistent Local Search Doctoral paper, Eleventh International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science Springer, [Details]
(2005)Eighth International Conference on Theory and Applications of Satisfiability Testing
S. D. Prestwich; (2005) Random Walk With Continuously Smoothed Variable Weights Eighth International Conference on Theory and Applications of Satisfiability Testing , pp.203-215 [Details]
(2005)Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
S. D. Prestwich.; (2005) Increasing Solution Density by Dominated Relaxation Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems [Details]
(2005)IJCAI'05 modelling challenge workshop
S. D. Prestwich; (2005) Open Stack Minimisation by Local Search and Reverse Dominance Reasoning IJCAI'05 modelling challenge workshop [Details]
(2005)Twentieth National Conference on Artificial Intelligence
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh; (2005) Constraint-based Preferential Optimization Twentieth National Conference on Artificial Intelligence , pp.461-466 [Details]
(2004)Italian Conference on Computational Logic (CILC), 2004. Also the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming
. D. Prestwich, F. Rossi, K. B. Venable, T. Walsh.; (2004) Constrained CP Nets Italian Conference on Computational Logic (CILC), 2004. Also the Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming [Details]
(2004)Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming
Hnich, B. Prestwich, S. D. Selensky, E.; (2004) Modeling the Covering Test Problem . In: * eds. Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming Cork, Ireland, , 15-MAY-04 - 30-DEC-99 , pp.*-* [Details]
(2004)First International Workshop on Local Search Techniques in Constraint
S. D. Prestwich.; (2004) Exploiting Relaxation in Local Search First International Workshop on Local Search Techniques in Constraint [Details]
(2004)Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, CSCLP'04
B.Hnich, S.Prestwich, E. Selensky; (2004) Modelling the Covering Test Problem . In: * eds. Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, CSCLP'04 Lausanne, Switzerland, , 23-JUN-04 - 25-JUN-05 , pp.*-* [Details]
(2004)Workshop on Modeling and Solving Problems With Constraints
S. D. Prestwich.; (2004) Full Dynamic Interchangeability with Forward Checking and Arc Consistency Workshop on Modeling and Solving Problems With Constraints [Details]
(2004)Tenth International Conference on Principles and Practice of Constraint Programming
S. D. Prestwich.; (2004) Full Dynamic Substitutability by SAT Encoding Tenth International Conference on Principles and Practice of Constraint Programming [Details]
(2004)Fourth International Workshop on Symmetry and Constraint Satisfaction
S. D. Prestwich, J. C. Beck.; (2004) Exploiting Dominance in Three Symmetric Problems Fourth International Workshop on Symmetry and Constraint Satisfaction [Details]
(1996)Joint International Conference and Symposium on Logic Programming
Kusalik, A. J.; Prestwich, S. D.; (1996) Visualizing Parallel Logic Program Execution for Performance Tuning . In: * eds. Joint International Conference and Symposium on Logic Programming *, , 01-JAN-96 - 30-DEC-99 , pp.498-512 [Details]
(1993)Fifth Workshop on Logic Programming Environments
Kusalik, A. J.; Prestwich, S. D.; (1993) Programmer-Oriented Visualization of Parallel Logic Program Execution . In: * eds. Fifth Workshop on Logic Programming Environments *, , 01-JAN-93 - 30-DEC-99 , pp.*-* [Details]
(1992)Workshop on Meta-Programming in Logic
Traeff, J. L.; Prestwich, S. D.; (1992) Meta-Programming for Recording Literals in Deductive Databases . In: * eds. Workshop on Meta-Programming in Logic *, , 01-JAN-92 - 30-DEC-99 , pp.*-* [Details]
(1991)International Symposium on Logic Programming
Lau, K. K., Prestwich, S. D.; (1991) Synthesis of a Family of Recursive Sorting Procedures . In: * eds. International Symposium on Logic Programming *, , 01-JUN-91 - 30-DEC-99 , pp.*-* [Details]
(1991)International Workshop on Deductive Databases
Traeff, J. L., Prestwich, S. D.; (1991) Meta-Programming for Propagating Constraining Literals for Query Optimization in Deductive Databases . In: * eds. International Workshop on Deductive Databases Uppsala, Sweden, , 01-MAY-91 - 30-DEC-99 , pp.*-* [Details]
(1990)International Conference on Logic Programming
Lau, K. K., Prestwich, S. D.; (1990) Top-down Synthesis of Recursive Logic Procedures from First-Order Logic Specifications . In: * eds. International Conference on Logic Programming *, , 01-JUN-90 - 30-DEC-99 , pp.*-* [Details]

Other

 YearPublication
(2005)Bounds-consistent local search.
Verachi, S,Prestwich, S (2005) Bounds-consistent local search. Other [Details]
(2006)Constraint models for the covering test problem.
Hnich, B,Prestwich, SD,Selensky, E,Smith, BM (2006) Constraint models for the covering test problem. Other [DOI] [Details]
(2005)Constraint-based approaches to the covering test problem.
Hnich, B,Prestwich, S,Selensky, E (2005) Constraint-based approaches to the covering test problem. Other [Details]
(2006)Event-driven probabilistic constraint programming.
Tarim, SA,Hnich, B,Prestwich, SD (2006) Event-driven probabilistic constraint programming. Other [Details]

Unpublished Reports

 YearPublication
(1999)Procs. of the Tenth Irish Conference on Artificial Intelligence & Cognitive Science (AICS'99).
D. Bridge, R. Byrne, B. O'Sullivan & S. Prestwich (eds.); (1999) Procs. of the Tenth Irish Conference on Artificial Intelligence & Cognitive Science (AICS'99). Unpublished Reports [Details]

Professional Activities

Honours and Awards

 YearTitleAwarding Body
2005Runner-up in the Constraint Modelling Challenge
2005the bronze medal in the SAT'05 Solver Competition

Professional Associations

 AssociationFunctionFrom / To
the Association for Constraint Programming Member30-DEC-99 / 30-DEC-99
the Compulog NET network of excellence Node member30-DEC-99 / 30-DEC-99

Conference Contributions

 YearPublication
(1999)Methods and Markers for Quality Assurance in Micropropagation,
Croke, J. T., Prestwich, S. D., Cassells, A. C.; (1999) Analysis of Somatic Embryo Progeny Variability in Pelargonium x hortorum Baily using Applied Genomics. [Poster Presentation], Methods and Markers for Quality Assurance in Micropropagation, Cork, Ireland , 01-JUL-99 - 30-DEC-99. [Details]
(2013)13th International Conference on Stochastic Programming,
S. D. Prestwich, M. Laumanns, B. Kawas (2013) Scenario Bundling for a Pre-Disaster Planning Problem. [Oral Presentation], 13th International Conference on Stochastic Programming, Bergamo, Italy , 08-JUL-13 - 12-JUL-13. [Details]
(2013)3rd International Workshop on the Cross-Fertilization Between CSP and SAT,
S. D. Prestwich (2013) A Symbolic Approach to SAT Encoding. [Invited Lectures (Workshops)], 3rd International Workshop on the Cross-Fertilization Between CSP and SAT, Uppsala, Sweden , 20-SEP-13 - 20-SEP-13. [Details]

Committees

 CommitteeFunctionFrom / To
20th International Joint Conference on Artificial Intelligence program committee member2007 / 1899
International Symmetry Conference 2007 program committee member2007 / 1899
17th European Conference on Artificial Intelligence program committee member2006 / 1899
21st National Conference on Artificial Intelligence program committee member2006 / 1899
3rd International Workshop on Hybrid Metaheuristics program committee member2006 / 1899
4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems program committee member2005 / 1899
1st International Workshop on Engineering Stochastic Local Search Algorithms - Designing, Implementing and Analyzing Effective Heuristics. program committee member1899 / 1899
2nd International Workshop on Engineering Stochastic Local Search Algorithms - Designing, Implementing and Analyzing Effective Heuristics. program committee member1999 / 1999
10th Annual Irish Conference on Artificial Intelligence and Cognitive Science; program committee member1899 / 1899
International Workshop on Local Search Techniques in Constraint Satisfaction 2004 (associated with the 10th International Conference on Principles and Practice of Constraint Programming); program committee member2004 / 1899
International Workshop on Unification 2004 (associated with the 2nd International Joint Conference on Automated Reasoning) program committee member2004 / 1899
8th International Conference on Theory and Applications of Satisfiability Testing program committee member2005 / 1899
10th International Conference on Theory and Applications of Satisfiability Testing program committee member2007 / 1899
1st International Workshops on Local Search Techniques in Constraint Satisfaction program committee member2004 / 1899
2nd International Workshops on Local Search Techniques in Constraint Satisfaction program committee member2005 / 1899
3rd International Workshops on Local Search Techniques in Constraint Satisfaction program committee member2006 / 1899
4th International Workshops on Symmetry and Constraint Satisfaction Problems program committee member2004 / 1899
5th International Workshops on Symmetry and Constraint Satisfaction Problems program committee member2005 / 1899
6th International Workshops on Symmetry and Constraint Satisfaction Problems program committee member2006 / 1899
4th International Conferences on Information Integration and Web-based Applications and Services program committee member2003 / 1899
5th International Conferences on Information Integration and Web-based Applications and Services program committee member2004 / 1899
6th International Conferences on Information Integration and Web-based Applications and Services program committee member2005 / 1899
7th International Conferences on Information Integration and Web-based Applications and Services program committee member2006 / 1899
8th International Conferences on Information Integration and Web-based Applications and Services program committee member2007 / 1899
Session on Hybrid Metaheuristics and their Applications, 8th International Conference on Hybrid Intelligent Systems, 2008 program committee member/
Session on Hybrid Metaheuristics and their Applications, 9th International Conference on Intelligent Systems Design and Applications, 2009 program committee member/
5th Workshop on Constraints in Formal Verification, 2008 program committee member/
6th Workshop on Constraints in Formal Verification, 2009 program committee member/
14th International Conference on Principles and Practice of Constraint Programming, 2008 program committee member/
International Symmetry Conference, 2007 program committee member/
24th Conference on Artificial Intelligence, NECTAR track, 2010 program committee member/
22nd Conference on Artificial Intelligence, 2007 program committee member/
23rd Conference on Artificial Intelligence, 2008 program committee member/
24th Conference on Artificial Intelligence, 2010 program committee member/
4th International Workshop on Hybrid Metaheuristics, 2007 program committee member/
5th International Workshop on Hybrid Metaheuristics, 2008 program committee member/
6th International Workshop on Hybrid Metaheuristics, 2009 program committee member/
7th International Workshop on Hybrid Metaheuristics, 2010 program committee member/
9th International Conference on Information Integration and Web-based Applications and Services, 2007 program committee member/
10th International Conference on Information Integration and Web-based Applications and Services, 2008 program committee member/
11th International Conference on Information Integration and Web-based Applications and Services, 2009 program committee member/
12th International Conference on Information Integration and Web-based Applications and Services, 2010 program committee member/
7th International Workshop on Symmetry and Constraint Satisfaction Problems, 2007 program committee member/
8th International Workshop on Symmetry and Constraint Satisfaction Problems, 2008 program committee member/
9th International Workshop on Symmetry and Constraint Satisfaction Problems, 2009 program committee member/
4th International Workshop on Local Search Techniques in Constraint Satisfaction, 2007 program committee member/
5th International Workshop on Local Search Techniques in Constraint Satisfaction, 2008 program committee member/
6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009 program committee member/
7th International Workshop on Local Search Techniques in Constraint Satisfaction, 2010 program committee member/
11th International Conference on Theory and Applications of Satisfiability Testing, 2008 program committee member/
International Workshop on Local Search Techniques in Constraint Satisfaction, 2004 program committee member/
14th Workshop on Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion, 2007 program committee member/
15th Workshop on Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion, 2008 program committee member/
16th Workshop on Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion, 2009 program committee member/
4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006 program committee member/
Workshop on Search Techniques for Constraint Satisfaction, 2007 program committee member/
20th Australian Joint Conference on Artificial Intelligence, 2007 program committee member/
10th International Symposium on Artificial Intelligence and Mathematics, 2008 program committee member/
11th International Symposium on Artificial Intelligence and Mathematics, 2010 program committee member/

Employment

 EmployerPositionFrom / To
University College Cork lecturer01-NOV-97 /
Advanced technology centre Senior software research engineer01-JAN-96 / 01-JAN-97
European computer-industry research centre researcher01-JAN-89 / 01-JAN-96
Ferranti computer systems PLC Software engineer01-JAN-81 / 01-JAN-84

Education

 YearInstitutionQualificationSubject
1981St.Peter's College, University of Oxford BA (Hons)
1985University of Manchester M.Sc.
1988University of Manchester Ph.D.

Journal Activities

 JournalRoleTo / From
Journal On Satisfiability Editor01-JAN-07 -
Constraint Programming Letters Editor01-JAN-06 - 01-JAN-08
Journal Of Digital Information Management Editor01-JAN-06 -
Fundamenta Informaticae Referee-
Ai Communications Referee-
Artificial Intelligence In Engineering Referee-
Annals Of Operations Research Referee-
Journal Of Heuristics Referee-
European Journal Of Operations Research Referee-
Information Processing Letters Referee-
Constraints Referee-
Discrete Applied Mathematics Referee-
Ieee Transactions On Evolutionary Computing Referee-
Intl. Jnl. Production Research Referee-
Journal On Satisfiability Referee-
Computers In Industry Referee-
Jnl. Automated Reasoning Referee-
Journal Of Artificial Intelligence Research Referee-
Computers And Operations Research Referee-
Jnl. Experimental Algorithmics Referee-
Journal Of Scheduling Referee-
Artificial Intelligence Referee-
Computational Optimization And Applications Referee-
Annals Of Mathematics And Artificial Intelligence Referee-
Journal Of Algorithms Referee-
Journal On Computing Referee-
Information Sciences Referee-

Other Activities

 Description

I co-organised the 10th Annual Irish Conference on Artificial
Intelligence and Cognitive Science in 1999.


I co-organised a session on Constraint Programming, Integer
Programming, Operations Research and Local Search at the 15th
International Conference on Applications of Declarative Programming
and Knowledge Managagement in 2004.


I organised a session on Constraint Programming at the Joint
International Meeting of the Canadian Operational Research Society and
INFORMS in 2004.


I was chair of the Modelling Workshop at the 15th European Conference
on Artificial Intelligence in 2004.


I was co-chair of the Modelling and Reformulation Workshop in the 12th
International Conferences on Principles and Practice of Constraint
Programming in 2006.


I was a member of the organising committee for the Doctoral Programme
in the 12th International Conferences on Principles and Practice of
Constraint Programming in 2006.


I was Publicity Chair of the 9th International Conferences on
Principles and Practice of Constraint Programming in 2003.


I was chair of the Workshop on Modelling and Solving Problems with
Constraints in the 17th European Conference on Artificial Intelligence
in 2006.


I co-organised CP'08 Workshop on Modeling and Solving Problems with
Constraints.


I am a reviewer for the Natural Sciences and Engineering Research
Council of Canada, and have reviewed a Discovery Grant proposal.


I have reviewed a grant proposal for the US Air Force Office of
Scientific Research.


I was a guest researcher at the National University of Singapore for 1
month in 2001, funded by a research project on Advanced Query
Processing (RPR-252-000-064-112).


I gave an invited lecture at the University of Essex, 7/2/03, entitled
Incomplete Dynamic Backtracking.


I was a panel member in a discussion on symmetry at the UK Automated
Reasoning Workshop in 2003.


I gave an invited talk at IIWAS'00 on Constraint Programming.


I have been an external and internal examiner for MSc and PhD students in several universities.

 


I have been involved with several companies, working on applications
of artificial intelligence to real-world problems.

Teaching Activities

Teaching Interests

I have taught and developed courses on artificial intelligence, optimization, programming (C, Java, Pascal), databases, multimedia, and web technologies.

 

Recent Postgraduates

 Graduation YearStudent NameInstitutionDegree TypeThesis Title
2014Nadja Ulrich ETH ZurichMScA Robust Model for the Single Machine Scheduling Problem

Contact details

Search profiles by name

Search profiles by topic

School of Computer Science and Information Technology

Scoil na Ríomheolaíochta agus na Teicneolaíochta Faisnéise

School of Computer Science and Information Technology, Western Gateway Building, University College Cork, Western Road, Cork, Ireland

Top