University College Cork

1. Home
2. Computer Science
3. People
4. 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),

 

‍

Publications

‍

Book Chapters

	Year	Publication
	(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

	Year	Publication
	(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

	Year	Publication
	(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

	Year	Publication
	(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

	Year	Publication
	(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

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

‍

Professional Associations

	Association	Function	From / To
	the Association for Constraint Programming	Member	30-DEC-99 / 30-DEC-99
	the Compulog NET network of excellence	Node member	30-DEC-99 / 30-DEC-99

‍

Conference Contributions

	Year	Publication
	(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

	Committee	Function	From / To
	20th International Joint Conference on Artificial Intelligence	program committee member	2007 / 1899
	International Symmetry Conference 2007	program committee member	2007 / 1899
	17th European Conference on Artificial Intelligence	program committee member	2006 / 1899
	21st National Conference on Artificial Intelligence	program committee member	2006 / 1899
	3rd International Workshop on Hybrid Metaheuristics	program committee member	2006 / 1899
	4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems	program committee member	2005 / 1899
	1st International Workshop on Engineering Stochastic Local Search Algorithms - Designing, Implementing and Analyzing Effective Heuristics.	program committee member	1899 / 1899
	2nd International Workshop on Engineering Stochastic Local Search Algorithms - Designing, Implementing and Analyzing Effective Heuristics.	program committee member	1999 / 1999
	10th Annual Irish Conference on Artificial Intelligence and Cognitive Science;	program committee member	1899 / 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 member	2004 / 1899
	International Workshop on Unification 2004 (associated with the 2nd International Joint Conference on Automated Reasoning)	program committee member	2004 / 1899
	8th International Conference on Theory and Applications of Satisfiability Testing	program committee member	2005 / 1899
	10th International Conference on Theory and Applications of Satisfiability Testing	program committee member	2007 / 1899
	1st International Workshops on Local Search Techniques in Constraint Satisfaction	program committee member	2004 / 1899
	2nd International Workshops on Local Search Techniques in Constraint Satisfaction	program committee member	2005 / 1899
	3rd International Workshops on Local Search Techniques in Constraint Satisfaction	program committee member	2006 / 1899
	4th International Workshops on Symmetry and Constraint Satisfaction Problems	program committee member	2004 / 1899
	5th International Workshops on Symmetry and Constraint Satisfaction Problems	program committee member	2005 / 1899
	6th International Workshops on Symmetry and Constraint Satisfaction Problems	program committee member	2006 / 1899
	4th International Conferences on Information Integration and Web-based Applications and Services	program committee member	2003 / 1899
	5th International Conferences on Information Integration and Web-based Applications and Services	program committee member	2004 / 1899
	6th International Conferences on Information Integration and Web-based Applications and Services	program committee member	2005 / 1899
	7th International Conferences on Information Integration and Web-based Applications and Services	program committee member	2006 / 1899
	8th International Conferences on Information Integration and Web-based Applications and Services	program committee member	2007 / 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

	Employer	Position	From / To
	University College Cork	lecturer	01-NOV-97 /
	Advanced technology centre	Senior software research engineer	01-JAN-96 / 01-JAN-97
	European computer-industry research centre	researcher	01-JAN-89 / 01-JAN-96
	Ferranti computer systems PLC	Software engineer	01-JAN-81 / 01-JAN-84

‍

Education

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

‍

Journal Activities

	Journal	Role	To / From
	Journal On Satisfiability	Editor	01-JAN-07 -
	Constraint Programming Letters	Editor	01-JAN-06 - 01-JAN-08
	Journal Of Digital Information Management	Editor	01-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 Year	Student Name	Institution	Degree Type	Thesis Title
	2014	Nadja Ulrich	ETH Zurich	MSc	A Robust Model for the Single Machine Scheduling Problem