| 2023 | ICNP | Performance and Energy Savings Trade-Off with Uncertainty-Aware Cloud Workload Forecasting. | Diego Carraro, Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown |
| 2021 | ICTAI | Unsupervised Constraint Acquisition. | Steven D. Prestwich |
| 2016 | ISAIM | Causal Discovery by Randomness Test. | Steven D. Prestwich, Armagan Tarim, Ibrahim zkan |
| 2015 | CP | Randomness as a Constraint. | Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim |
| 2014 | ECAI | Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation. | Steven D. Prestwich, Marco Laumanns, Ban Kawas |
| 2014 | ECAI | Statistical Constraints. | Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim |
| 2013 | CP | Dead-End Elimination for Weighted CSP. | Simon de Givry, Steven D. Prestwich, Barry O'Sullivan |
| 2013 | CP | Value Interchangeability in Scenario Generation. | Steven D. Prestwich, Marco Laumanns, Ban Kawas |
| 2011 | IJCAI | Finding (α, ϑ)-Solutions via Sampled SCSPs. | Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich |
| 2010 | CPAIOR | Stochastic Constraint Programming by Neuroevolution with Filtering. | Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich |
| 2009 | CP | Synthesizing Filtering Algorithms for Global Chance-Constraints. | Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich |
| 2009 | CP | Evolving Parameterised Policies for Stochastic Constraint Programming. | Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich |
| 2008 | CP | Cost-Based Domain Filtering for Stochastic Constraint Programming. | Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
| 2008 | PPSN | A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. | Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich |
| 2007 | AAAI | Refutation by Randomised General Resolution. | Steven D. Prestwich, Ins Lynce |
| 2007 | CPAIOR | Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. | Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
| 2007 | SAT | Variable Dependency in Local Search: Prevention Is Better Than Cure. | Steven D. Prestwich |
| 2006 | CPAIOR | Event-Driven Probabilistic Constraint Programming. | Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
| 2006 | SAT | Local Search for Unsatisfiability. | Steven D. Prestwich, Ins Lynce |
| 2005 | CP | Bounds-Consistent Local Search. | Stefania Verachi, Steven D. Prestwich |
| 2005 | CPAIOR | Symmetry Breaking and Local Search Spaces. | Steven D. Prestwich, Andrea Roli |
| 2005 | SAT | Random Walk with Continuously Smoothed Variable Weights. | Steven D. Prestwich |
| 2004 | CP | Full Dynamic Substitutability by SAT Encoding. | Steven D. Prestwich |
| 2004 | SAT | Local Search for Very Large SAT Problems. | Steven D. Prestwich, Colin Quirke |
| 2003 | CP | A SAT-Based Approach to Multiple Sequence Alignment. | Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan |
| 2003 | SAT | Local Search on SAT-encoded Colouring Problems. | Steven D. Prestwich |
| 2000 | CP | A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. | Steven D. Prestwich |
| 1996 | ICLP | Visualizing Parallel Logic Program Execution for Performance Tuning. | Anthony J. Kusalik, Steven D. Prestwich |
| 1995 | CP | Improved Branch and Bound in Constraint Logic Programming. | Steven D. Prestwich, Shyam Mudambi |
| 1993 | PEPM | Online Partial Deduction of Large Programs. | Steven D. Prestwich |
| 1992 | LOPSTR | An Unfold Rule for Full Prolog. | Steven D. Prestwich |
| 1990 | ICLP | Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. | Kung-Kiu Lau, Steven D. Prestwich |