| Publication | BibTeX | Download |
|
Steve Prestwich: Some Pitfalls of Parallel Logic Programming. Computers and Artificial Intelligence, vol. 19, num 4, 2000-01-01, pp 299-315.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. Annals of Operations Research, 2002-01-01
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: SAT Problems With Chains of Dependent Variables. Discrete Applied Mathematics, 2002-01-01
|
BibTeX |
PDF |
PS |
|
Steve Prestwich, Armagan Tarim: Non-Systematic Backtracking for Mixed Integer Programs in AAAI Workshop on Probabilistic Approaches in Search, 2002-01-01.
|
BibTeX |
|
|
|
Steve Prestwich: A Local Search Algorithm for Balanced Incomplete Block Designs in Lecture Notes in Artificial Intelligence, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich, Stéphane Bressan: A SAT Approach to Query Optimization in Mediator Systems in Fifth International Symposium on the Theory and Applications of Satisfiability Testing, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
S. Prestwich: Randomised Backtracking for Linear Pseudo-Boolean Constraint Problems in CPAIOR, 2002-01-01.
|
BibTeX |
PDF |
|
|
J. Christopher Beck and Steve Prestwich: Exploiting Dominance in Three Symmetric Problems in Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, 2004-01-01.
|
BibTeX |
PDF |
|
|
Steve Prestwich: First-Solution Search with Symmetry Breaking and Implied Constraints in CP-01 Workshop on Modelling and Problem Formulation, 2001-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Local Search and Backtracking vs Non-Systematic Backtracking in AAAI 2001 Fall Symposium on Using Uncertainty within Computation, 2001-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Position paper: Using Uncertainty in Backtracking in CP-01 Workshop on Constraints and Uncertainty, 2001-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Balanced Incomplete Block Design as Satisfiability in Twelfth Irish Conference on Artificial Intelligence and Cognitive Science, 2001-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Trading Completeness for Scalability: Hybrid Search for Cliques and Rulers in Proceedings of the Third International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2001-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: An Informal Tutorial on Search Techniques in Constraint Programming in Second International Workshop on Information Integration and Web-based Applications and Services, 2000-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences in The Sixth International Conference on Principles and Practice of
Constraint Programming, 2000-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Stochastic Local Search in Constrained Spaces in Proceedings of Practical Applications of Constraint Technology and Logic Programming, 2000-01-01.
|
BibTeX |
|
|
|
Steve Prestwich: Judging a Parallel Prolog Program by its Speedup in Proceedings of the Twelfth International Conference on Applications of Prolog, 1999-01-01.
|
BibTeX |
|
|
|
Steve Prestwich: Satisfiability Problems From Geometric Graph Colouring in Proceedings of the Tenth Irish Conference on Artificial Intelligence & Cognitive Science, 1999-01-01.
|
BibTeX |
|
|
|
Steve Prestwich: Using an Incomplete Version of Dynamic Backtracking for Graph Colouring in CP-98 Workshop on Large Scale Combinatorial Optimization, 1998-01-01.
|
BibTeX |
|
|
|
Steve Prestwich: A Generic Approach to Combining Stochastic Algorithms With Systematic Constraint Solvers in Frontiers of Combining Systems, 1999-01-01.
|
BibTeX |
|
|
|
Steve Prestwich: Three CLP Implementations of Branch-and-Bound Optimization in Parallelism and Implementation of Logic and Constraint Logic Programming, 1999-01-01.
|
BibTeX |
|
|
|
Steve Prestwich and Andrea Roli: Symmetry Breaking and Local Search Spaces in Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005-01-01.
|
BibTeX |
PDF |
|
|
Steve Prestwich: Random Walk With Continuously Smoothed Variable Weights in Eighth International Conference on Theory and Applications of Satisfiability Testing
, 2005-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh: Constraint-based Preferential Optimization in Twentieth National Conference on Artificial Intelligence, 2005-01-01.
|
BibTeX |
PDF |
|
|
Steve Prestwich: Maintaining Arc-Consistency in Stochastic Local Search in Workshop on Techniques for Implementing Constraint Programming Systems, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Constrained Bandwidth Multicoloration Neighbourhoods in Computational Symposium on Graph Coloring and Generalizations, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Supersymmetric Modeling for Local Search in Second International Workshop on Symmetry in Constraint Satisfaction Problems, 2002-01-01.
|
BibTeX |
PDF |
PS |
|
S. Prestwich: Negative Effects of Modeling Techniques on Search Performance. Annals of Operations Research, vol. 118, 2003-01-01, pp 137-150.
|
BibTeX |
PDF |
|
|
Steve Prestwich: Exploiting Relaxation in Local Search in First International Workshop on Local Search Techniques in Constraint Satisfaction, 2004-01-01.
|
BibTeX |
PDF |
|
|
Steve Prestwich: Local Search on SAT-Encoded CSPs in Satisfiability Workshop, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich, Des Higgins, Orla O'Sullivan: Pseudo-Boolean Multiple Sequence Alignment in Tenth Workshop on Automated Reasoning, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
Steve Prestwich: Hybrid Local Search on Two Multicolouring Models in International Symposium on Mathematical Programming, 2003-01-01.
|
BibTeX |
PDF |
PS |
|
S. D. Prestwich, S. A. Tarim, B. Hnich: Template Design under Demand Uncertainty by Integer Linear Local Search. International Journal of Production Research, 2007-01-01
|
BibTeX |
PDF |
|
|
S. Prestwich, S. Bressan: A SAT Approach to Query Optimization in Mediator Systems. Annals of Mathematics and Artificial Intelligence, 2004-01-01
|
BibTeX |
PDF |
|
|
S. Prestwich: Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems. Annals of Operations Research, vol. 130, 2004-01-01, pp 57-73.
|
BibTeX |
PDF |
|
|
S. Prestwich: Local Search on SAT-Encoded Colouring Problems in proc. of Lecture Notes in Computer Science, 2003-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich: Full Dynamic Substitutability by SAT Encoding in Tenth International Conference on Principles and Practice of Constraint Programming, 2004-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich: Full Dynamic Interchangeability with Forward Checking and Arc Consistency in ECAI Workshop on Modeling and Solving Problems With Constraints, 2004-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh: Constrained CP Nets in Italian Conference on Computational Logic, 2004-01-01.
|
BibTeX |
PDF |
|
|
B. Hnich, S. Prestwich, E. Selensky: Modeling the Covering Test Problem in Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, 2004-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, C. Quirke: Local Search for Very Large SAT Problems in Seventh International Conference on Theory and Applications of Satisfiability Testing, 2004-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, C. Quirke: Boolean and Pseudo-Boolean Models for Scheduling in Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2003-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, D. Higgins, O. OSullivan: A SAT-Based Approach to Multiple Sequence Alignment in Ninth International Conference on Principles and Practice of Constraint Programming, 2003-01-01.
|
BibTeX |
PDF |
|
|
Steve Prestwich: Increasing Solution Density by Dominated Relaxation in Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2005-01-01.
|
BibTeX |
PDF |
|
|
B. Hnich, S. Prestwich, E. Selensky: Constraint-Based Approaches to the Covering Test Problem. In CSCLP04 Special Volume of Lecture Notes in Artificial Intelligence, 2005-01-01 .
|
BibTeX |
|
|
|
S. A. Tarim, B. Hnich, R. Rossi, S. Prestwich: Cost-based Filtering Techniques for Stochastic Inventory Systems under Service Level Constraints. Constraints, 2008-01-01
|
BibTeX |
PDF |
|
|
C. Domshlak, S. Prestwich, F. Rossi, K. B. Venable, T. Walsh: Hard and Soft Constraints for Reasoning About Qualitative Conditional Preferences. Journal of Heuristics, 2006-01-01
|
BibTeX |
PDF |
|
|
B. Hnich, S. D. Prestwich, E. Selensky, B. M. Smith: Constraint Models for the Covering Test Problem. Constraints, vol. 11, num 3, 2006-01-01, pp 199-219.
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: A Global Chance-Constraint for Stochastic Inventory Systems under Service Level Constraints. Constraints, 2008-01-01
|
BibTeX |
PDF |
|
|
S. D. Prestwich: Modelling Clique Problems for SAT Local Search in Third International Workshop on Local Search Techniques in Constraint Satisfaction, 2006-01-01.
|
BibTeX |
PDF |
|
|
C. Quirke, S. D. Prestwich: Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems in CP06 Workshop on the Integration of SAT and CP Techniques, 2006-01-01.
|
BibTeX |
PDF |
|
|
S. D. Prestwich, Ines Lynce: Local Search for Unsatisfiability in Ninth International Conference on Theory and Applications of Satisfiability Testing, 2006-01-01.
|
BibTeX |
PDF |
|
|
S. A. Tarim, B. Hnich, S. D. Prestwich: Event-Driven Probabilistic Constraint Programming in Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization, Lecture Notes in Computer Science, 2006-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich: 15. In Finding Large Cliques using SAT Local Search, F. Benhamou, N. Jussien, B. OSullivanISTE, 2007-01-01 .
|
BibTeX |
PDF |
|
|
I. Miguel, S. D. Prestwich: Constraint Modeling and Reformulation in Trends in Constraint Programming, 2007-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich, I. Lynce: Refutation by Randomised General Resolution in AAAI NECTAR track, 2007-01-01.
|
BibTeX |
PDF |
|
|
S. D. Prestwich: Variable Dependency in Local Search: Prevention is Better than Cure in SAT, 2007-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: Replenishment Planning for Stochastic Inventory Systems with Shortage Cost in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, 2007-01-01.
|
BibTeX |
PDF |
|
|
S. D. Prestwich: Generalized Graph Colouring by a Hybrid of Local Search and Constraint Programming. Discrete Applied Mathematics, 2007-01-01
|
BibTeX |
PDF |
|
|
S. D. Prestwich: Consistency Reasoning for Removing Constraints and Clauses in Fifth International Workshop on Constraint Modelling and Reformulation, 2006-01-01.
|
BibTeX |
PDF |
|
|
S. D. Prestwich: Exploiting Relaxation in Local Search for LABS. Annals of Operations Research, 2007-01-01
|
BibTeX |
PDF |
|
|
S. Verachi and S. D. Prestwich: Constructive vs Perturbative Local Search for General Integer Linear Programming in 18th Irish Conference on Artificial Intelligence and Cognitive Science, 2007-01-01.
|
BibTeX |
PDF |
|
|
F. Aloul, I. Lynce and S. D. Prestwich: Symmetry Breaking in Local Search for Unsatisfiability in 7th International Workshop on Symmetry and Constraint Satisfaction Problems, 2007-01-01.
|
BibTeX |
PDF |
|
|
I. Lynce, J. Marques-Silva, S. D. Prestwich: Boosting Haplotype Inference with Local Search. Constraints, 2007-01-01
|
BibTeX |
PDF |
|
|
S. A. Tarim, B. Hnich, R. Rossi, S. Prestwich: Cost-Based Filtering for Stochastic Inventory Control in Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, 2007-01-01.
|
BibTeX |
PDF |
|
|
S. A. Tarim, B. Hnich, S. Prestwich, R. Rossi: Finding Reliable Solutions: Event-Driven Probabilistic Constraint Programming. Annals of Operations Research, Special issue for The Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR-06) May 30-June 2, 2006 - Cork, Ireland, 2008-01-01
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: Cost-based Domain filtering for stochastic constraint programming in Proceedings of The 14th International Conference on Principle and Practice of Constraint Programming (CP-2008), Sep. 14-18, 2008 - Sydney, Australia, 2008-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, S. A. Tarim, R. Rossi and B. Hnich: A Steady-State Genetic Algorithm With Resampling for Noisy Inventory Control in proceedings of The 10th International Conference on Parallel Problem Solving from Nature (PPSN-2008), September 13-17, 2008, Technische Universität Dortmund, Germany, 2008-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, B. Hnich, R. Rossi and S. A. Tarim: Symmetry Breaking by Nonstationary Optimisation in proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2008) Aug. 27, 2008, Cork, Ireland, 2008-01-01.
|
BibTeX |
PDF |
|
|
S. A. Tarim, B. Hnich, R. Rossi and S. Prestwich: A Decision Support System for Computing Optimal (R,S) Policy Parameters in In proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2008) Aug. 27, 2008, Cork, Ireland, 2008-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, B. Hnich, R. Rossi and S. Armagan Tarim: Symmetry Breaking by Metaheuristic Search in proceedings of the 8th International Workshop on Symmetry and Constraint Satisfaction Problems (SYMCON 2008) Sep. 14, 2008, Sydney, Australia, in conjunction with CP 2008, 2008-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. Prestwich, S. Armagan Tarim and B. Hnich: Generalizing Backdoors in proceedings of the 5th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS 2008) Sep. 14, 2008, Sydney, Australia, in conjunction with CP 2008, 2008-01-01.
|
BibTeX |
PDF |
|
|
S. Prestwich, S. A. Tarim, R. Rossi and B. Hnich: A Cultural Algorithm for POMDPs from Stochastic Inventory Control in proceedings of the Internation Workshop on Hybrid Metaheuristics (HM 2008), 8-9 October 2008, Malaga, Spain,, 2008-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich and S. Prestwich: Cost-based Filtering for Stochastic Inventory Systems with Shortage Cost in Thirteenth International Conference on Principles and Practice of Constraint Programming (CP-07), Doctoral Program Proceedings, Providence (RI), 2007-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. Prestwich: A Global Constraint for Computing Exact Buffer Stock Levels in Stochastic Inventory Control in Twelfth International Conference on Principles and Practice of Constraint Programming (CP-06), Doctoral Program Proceedings, Nantes, 2006-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich and S. Prestwich: Computing Replenishment Cycle Policy under Non-stationary Stochastic Lead Time, Technical Report Cork Constraint Computation Centre, University College Cork, Ireland, 2008-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich and S. Prestwich: A Sample Average Approximation Approach for Event-Driven Probabilistic Constraint Programming, Technical Report Cork Constraint Computation Centre, University College Cork, Ireland, 2008-01-01.
|
BibTeX |
PDF |
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich, S. Karacaer: Scheduling Internal Audit Activities: A Stochastic Combinatorial Optimization Problem. Journal of Combinatorial Optimization, 2009-01-01
|
BibTeX |
|
|
|
S. D. Prestwich: CNF Encodings. In Handbook of Satisfiability, Armin Biere, Marijn Heule, Hans van Maaren, Toby WalshIOS Press, 2009-01-01 .
|
BibTeX |
|
|
|
S. D. Prestwich: The Relation Between Complete and Incomplete Search. In Hybrid Metaheuristics: An Emerging Approach to Optimization, Blum, C., Blesa Aguilera, M. J., Roli, A., Sampels, M.Springer, 2008-01-01 .
|
BibTeX |
|
|
|
C. Nugent, D. Curran, S. D. Prestwich, J. Little: A Hybrid Evolutionary Approach to Forest Management in 19th Irish Conference on Artificial Intelligence and Cognitive Science, 2008-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich: Tuning Local Search by Average-Reward Reinforcement Learning in Conference on Learning and Intelligent Optimization II, 2008-01-01.
|
BibTeX |
|
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: A State Space Augmentation Algorithm for the Replenishment Cycle Inventory Policy. International Journal of Production Economics, 2010-01-01
|
BibTeX |
|
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: Computing the Non-Stationary Replenishment Cycle Inventory Policy Under Stochastic Supplier Lead-Times. International Journal of Production Economics, 2010-01-01
|
BibTeX |
|
|
|
B. Hnich, R. Rossi, S. A. Tarim, S. Prestwich: A Survey on CP-AI-OR Hybrids for Decision Making under Uncertainty. In Hybrid Optimization: the 10 years of CP-AI-OR, M. Milano and P. Van HentenryckSpringer, 2010-01-01 .
|
BibTeX |
|
|
|
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich: Evolving Parameterised Policies for Stochastic Constraint Programming in 15th International Conference on Principles and Practice of Constraint Programming, 2009-01-01.
|
BibTeX |
|
|
|
B. Hnich, R. Rossi, S. A. Tarim, S. D. Prestwich: Synthesizing Filtering Algorithms for Global Chance-Constraints in 15th International Conference on Principles and Practice of Constraint Programming, 2009-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich: Neuroevolutionary Inventory Control in Multi-Echelon Systems in 1st International Conference on Algorithmic Decision Theory, 2009-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim: Boosting Partial Symmetry Breaking by Local Search in 9th International Workshop on Symmetry and Constraint Satisfaction Problems, 2009-01-01.
|
BibTeX |
|
|
|
D. Pereira, Ines Lynce, Steven Prestwich: On Improving Local Search for Unsatisfiability in 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich: Stochastic Constraint Programming by Neuroevolution With Filtering in 7th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, 2010-01-01.
|
BibTeX |
|
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: Computing Replenishment Cycle Policy Parameters for a Perishable Item in 24th Mini EURO Conference, 2010-01-01.
|
BibTeX |
|
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. D. Prestwich, E. M. T. Hendrix: On a CP Approach to Solve a MINLP Inventory Model in Toulouse Global Optimization Workshop, 2010-01-01.
|
BibTeX |
|
|
|
M. Laumanns, E. Pratsini, S. Prestwich, C.-S. Tiseanu: Production Planning under Non-Compliance Risk in International Conference on Operations Research: Mastering Complexity, 2010-01-01.
|
BibTeX |
|
|
|
S. Karakashian, R. Woodward, B. Y. Choueiry, S. D. Prestwich, E. C. Freuder: A Partial Taxonomy of Substitutability and Interchangeability in 10th International Workshop on Symmetry in Constraint Satisfaction Problems, 2010-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich, S. A. Tarim, R. Rossi, B. Hnich: A Neuroevolutionary Approach to Stochastic Inventory Control in Multi-Echelon Systems. International Journal of Production Research, 2011-01-01
|
BibTeX |
|
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: Solving the Newsvendor Problem under Partial Demand Information in ROADEF 12th Congres Annuel, 2011-01-01.
|
BibTeX |
|
|
|
R. Rossi, B. Hnich, S. A. Tarim, S. Prestwich: Finding (α,Ï?)-solutions via Sampled SCSP in International Joint Conference on Artificial Intelligence, 2011-01-01.
|
BibTeX |
|
|
|
R. Rossi, S. A. Tarim, B. Hnich, S. Prestwich: Constraint Programming for Stochastic Inventory Systems under Shortage Cost. Annals of Operations Research, 2011-01-01
|
BibTeX |
|
|
|
B. Kawas, M. Laumanns, E. Pratsini, S. Prestwich: Risk Averse Production Planning in 2nd International Conference on Algorithmic Decision Theory, 2011-01-01.
|
BibTeX |
|
|
|
S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim: Partial Symmetry Breaking by Local Search in the Group. Constraints, 2012-01-01
|
BibTeX |
|
|
|
B. Hnich, R. Rossi, S. A. Tarim, S. D. Prestwich: Filtering Algorithms for Global Chance Constraints. Artificial Intelligence, 2012-01-01
|
BibTeX |
|
|
