PhD (Manchester), MA (Oxon)

Steve Prestwich has lectured in the UCC Computer Science department since November 1997. He works on constraint programming, Boolean satisfiability, reasoning under uncertainty, evolutionary search, local search, problem modeling, preferences, hybrid algorithms, symmetry, dominance, inventory control, and graph colouring.
He is on the editorial board of Constraint Programming Letters and the Journal of Digital Information Management.
He has served on several program committees: Session on Hybrid Metaheuristics and their Applications, 8th International Conference on Hybrid Intelligent Systems, 2008; 5th and 6th Workshop on Constraints in Formal Verification 2008-9; 14th International Conference on Principles and Practice of Constraint Programming 2008; 20th International Joint Conference on Artificial Intelligence 2007; International Symmetry Conference 2007; 17th European Conference on Artificial Intelligence 2006; 21st, 22nd and 23rd Conference on Artificial Intelligence (AAAI) 2006-8; 3rd, 4th, 5th and 6th International Workshop on Hybrid Metaheuristics 2006-9; 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems 2005; 5th, 6th, 7th, 8th, 9th, 10th and 11th International Conferences on Information Integration and Web-based Applications and Services 2003-2009; 4th, 5th, 6th, 7th and 8th International Workshops on Symmetry and Constraint Satisfaction Problems 2004-8; 1st, 2nd, 3rd, 4th and 5th International Workshops on Local Search Techniques in Constraint Satisfaction 2004-8; International Workshop on Unification 2004 (associated with the 2nd International Joint Conference on Automated Reasoning); 8th, 10th and 11th International Conference on Theory and Applications of Satisfiability Testing 2005 and 2007-8; International Workshop on Local Search Techniques in Constraint Satisfaction 2004 (associated with the 10th International Conference on Principles and Practice of Constraint Programming); 10th Annual Irish Conference on Artificial Intelligence and Cognitive Science 1999; 1st and 2nd International Workshops on Engineering Stochastic Local Search Algorithms - Designing, Implementing and Analyzing Effective Heuristics, 2007 and 2009; 14th and 15th Workshops on Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion 2007-8; 4th Irish Conference on the Mathematical Foundations of Computer Science and Information Technology 2006; Workshop on Search Techniques for Constraint Satisfaction (associated with the 13th Portuguese Conference on Artificial Intelligence) 2007; 20th Australian Joint Conference on Artificial Intelligence 2007; 10th International Symposium on Artificial Intelligence and Mathematics 2007.
He has reviewed papers for several journals: AI Communications; Artificial Intelligence in Engineering; Annals of Operations Research; Journal of Heuristics; European Journal of Operational Research; Information Processing Letters; Constraints Journal; Discrete Applied Mathematics; Higher-Order and Symbolic Computation; IEEE Transactions on Evolutionary Computation; International Journal of Production Research; INFORMS Journal of Computing; Journal of Satisfiability; Boolean Modeling and Computation, Lecture Notes in Artificial Intelligence; Computers in Industry; Journal of Design and Manufacturing; Journal of Automated Reasoning; Journal of Artificial Intelligence Research; Computers and Operations Research; Journal of Digital Information Management; Journal of Algorithms in Logic, Informatics and Cognition, Information Sciences; Journal of Experimental Algorithmics; Journal of Scheduling; Artificial Intelligence; Computational Optimization and Applications.

Latest Publications in the 4C Database:

© Cork Constraint Computation Centre, University College Cork.