Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. - Kung-Kiu Lau; Steven D. Prestwich (ICLP, 1990)

Synthesis of a Family of Recursive Sorting Procedures. - Kung-Kiu Lau; Steven D. Prestwich (ISLP, 1991)

An Unfold Rule for Full Prolog. - Steven D. Prestwich (LOPSTR, 1992)

Meta-Programming for Reordering Literals in Deductive Databases. - Jesper Larsson Träff; Steven David Prestwich (META, 1992)

Programmer-Oriented Visualization of Parallel Logic Program Execution. - Anthony J. Kusalik; Steven D. Prestwich (LPE, 1993)

Online Partial Deduction of Large Programs. - Steven D. Prestwich (PEPM, 1993)

On Logic Program Parallelisation Strategies. - Steven D. Prestwich (CONPAR, 1994)

High-Level Visualisation of Parallel Logic Program Execution. - Steven D. Prestwich; Anthony J. Kusalik (PARLE, 1994)

Improved Branch and Bound in Constraint Logic Programming. - Steven D. Prestwich; Shyam Mudambi (CP, 1995)

Visualizing Parallel Logic Program Execution for Performance Tuning. - Anthony J. Kusalik; Steven D. Prestwich (JICSLP, 1996)

A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers. - Steven D. Prestwich (FroCoS, 1998)

Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. - Steven D. Prestwich (Electron. Notes Discret. Math., 1999)

A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. - Steven D. Prestwich (CP, 2000)

Stochastic Local search in Constrained Spaces. - Steven D. Prestwich (PACPL, 2000)

Some Pitfalls of Parallel Logic Programming. - Steven D. Prestwich (Comput. Artif. Intell., 2000)

Parallel Software Performance Metrics as Continuous Functions of Event Times. - Steven D. Prestwich (MFCSIT, 2000)

A Local Search Algorithm for Balanced Incomplete Block Designs. - Steven D. Prestwich (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Coloration Neighbourhood Search With Forward Checking. - Steven D. Prestwich (Ann. Math. Artif. Intell., 2002)

Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. - Steven D. Prestwich (Ann. Oper. Res., 2002)

A SAT-Based Approach to Multiple Sequence Alignment. - Steven D. Prestwich; Desmond G. Higgins; Orla O'Sullivan (CP, 2003)

Local Search on SAT-encoded Colouring Problems. - Steven D. Prestwich (SAT, 2003)

Negative Effects of Modeling Techniques on Search Performance. - Steven D. Prestwich (Ann. Oper. Res., 2003)

SAT problems with chains of dependent variables. - Steven D. Prestwich (Discret. Appl. Math., 2003)

Full Dynamic Substitutability by SAT Encoding. - Steven D. Prestwich (CP, 2004)

Constraint-Based Approaches to the Covering Test Problem. - Brahim Hnich; Steven D. Prestwich; Evgeny Selensky (CSCLP, 2004)

Local Search for Very Large SAT Problems. - Steven D. Prestwich; Colin Quirke (SAT, 2004)

Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems. - Steven D. Prestwich (Ann. Oper. Res., 2004)

Constraint-Based Preferential Optimization. - Steve Prestwich; Francesca Rossi 001; Kristen Brent Venable; Toby Walsh (AAAI, 2005)

Bounds-Consistent Local Search. - Stefania Verachi; Steven D. Prestwich (CP, 2005)

Symmetry Breaking and Local Search Spaces. - Steven D. Prestwich; Andrea Roli (CPAIOR, 2005)

Random Walk with Continuously Smoothed Variable Weights. - Steven D. Prestwich (SAT, 2005)

A SAT approach to query optimization in mediator systems. - Steven D. Prestwich; Stéphane Bressan (Ann. Math. Artif. Intell., 2005)

Event-Driven Probabilistic Constraint Programming. - Armagan Tarim; Brahim Hnich; Steven D. Prestwich (CPAIOR, 2006)

Cost-Based Filtering for Stochastic Inventory Control. - Armagan Tarim; Brahim Hnich; Roberto Rossi 002; Steven D. Prestwich (CSCLP, 2006)

Local Search for Unsatisfiability. - Steven D. Prestwich; Inês Lynce (SAT, 2006)

Constraint Models for the Covering Test Problem. - Brahim Hnich; Steven D. Prestwich; Evgeny Selensky; Barbara M. Smith (Constraints An Int. J., 2006)

Hard and soft constraints for reasoning about qualitative conditional preferences. - Carmel Domshlak; Steven D. Prestwich; Francesca Rossi 001; Kristen Brent Venable; Toby Walsh (J. Heuristics, 2006)

Refutation by Randomised General Resolution. - Steven D. Prestwich; Inês Lynce (AAAI, 2007)

Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. - Roberto Rossi 002; Armagan Tarim; Brahim Hnich; Steven D. Prestwich (CPAIOR, 2007)

Tuning Local Search by Average-Reward Reinforcement Learning. - Steven D. Prestwich (LION, 2007)

Variable Dependency in Local Search: Prevention Is Better Than Cure. - Steven D. Prestwich (SAT, 2007)

Exploiting relaxation in local search for LABS. - Steven D. Prestwich (Ann. Oper. Res., 2007)

Cost-Based Domain Filtering for Stochastic Constraint Programming. - Roberto Rossi 002; Armagan Tarim; Brahim Hnich; Steven D. Prestwich (CP, 2008)

A Cultural Algorithm for POMDPs from Stochastic Inventory Control. - Steven D. Prestwich; Armagan Tarim; Roberto Rossi 002; Brahim Hnich (Hybrid Metaheuristics, 2008)

A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. - Steven D. Prestwich; Armagan Tarim; Roberto Rossi 002; Brahim Hnich (PPSN, 2008)

Boosting Haplotype Inference with Local Search. - Inês Lynce; João Marques-Silva 001; Steve Prestwich (Constraints An Int. J., 2008)

A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. - Roberto Rossi 002; Armagan Tarim; Brahim Hnich; Steven D. Prestwich (Constraints An Int. J., 2008)

Generalised graph colouring by a hybrid of local search and constraint programming. - Steven D. Prestwich (Discret. Appl. Math., 2008)

The Relation Between Complete and Incomplete Search. - Steven D. Prestwich (Hybrid Metaheuristics, 2008)

Neuroevolutionary Inventory Control in Multi-Echelon Systems. - Steven D. Prestwich; S. Armagan Tarim; Roberto Rossi 002; Brahim Hnich (ADT, 2009)

Synthesizing Filtering Algorithms for Global Chance-Constraints. - Brahim Hnich; Roberto Rossi 002; S. Armagan Tarim; Steven D. Prestwich (CP, 2009)

Evolving Parameterised Policies for Stochastic Constraint Programming. - Steven D. Prestwich; S. Armagan Tarim; Roberto Rossi 002; Brahim Hnich (CP, 2009)

Finding reliable solutions: event-driven probabilistic constraint programming. - S. Armagan Tarim; Brahim Hnich; Steven D. Prestwich; Roberto Rossi 002 (Ann. Oper. Res., 2009)

Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints. - S. Armagan Tarim; Brahim Hnich; Roberto Rossi 002; Steven D. Prestwich (Constraints An Int. J., 2009)

On Improving Local Search for Unsatisfiability - David Pereira; Inês Lynce; Steven D. Prestwich (LSCS, 2009)

A note on Liu-Iwamura's dependent-chance programming. - Roberto Rossi 002; S. Armagan Tarim; Brahim Hnich; Steven D. Prestwich; Cahit Guran (Eur. J. Oper. Res., 2009)

CNF Encodings. - Steven D. Prestwich (Handbook of Satisfiability, 2009)

Stochastic Constraint Programming by Neuroevolution with Filtering. - Steven D. Prestwich; S. Armagan Tarim; Roberto Rossi 002; Brahim Hnich (CPAIOR, 2010)

Production Planning for Pharmaceutical Companies Under Non-Compliance Risk. - Marco Laumanns; Eleni Pratsini; Steven D. Prestwich; Catalin-Stefan Tiseanu (OR, 2010)

Scheduling internal audit activities: a stochastic combinatorial optimization problem. - Roberto Rossi 002; S. Armagan Tarim; Brahim Hnich; Steven D. Prestwich; Semra Karacaer (J. Comb. Optim., 2010)

Risk-Averse Production Planning. - Ban Kawas; Marco Laumanns; Eleni Pratsini; Steve Prestwich (ADT, 2011)

Finding (α, ϑ)-Solutions via Sampled SCSPs. - Roberto Rossi 002; Brahim Hnich; S. Armagan Tarim; Steven D. Prestwich (IJCAI, 2011)

Filtering algorithms for global chance constraints. - Brahim Hnich; Roberto Rossi 002; S. Armagan Tarim; Steven D. Prestwich (Artif. Intell., 2012)

Constraint programming for stochastic inventory systems under shortage cost. - Roberto Rossi 002; S. Armagan Tarim; Brahim Hnich; Steven D. Prestwich (Ann. Oper. Res., 2012)

Partial symmetry breaking by local search in the group. - Steven D. Prestwich; Brahim Hnich; Helmut Simonis; Roberto Rossi 002; S. Armagan Tarim (Constraints An Int. J., 2012)

Confidence-based Optimization for the Newsvendor Problem. - Roberto Rossi 002; Steven D. Prestwich; S. Armagan Tarim; Brahim Hnich (CoRR, 2012)

Earthquake Scenario Reduction by Symmetry Reasoning - Steve Prestwich (CoRR, 2012)

Dead-End Elimination for Weighted CSP. - Simon de Givry; Steven D. Prestwich; Barry O'Sullivan (CP, 2013)

Value Interchangeability in Scenario Generation. - Steven D. Prestwich; Marco Laumanns; Ban Kawas (CP, 2013)

Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing. - Steven D. Prestwich; S. Armagan Tarim; Roberto Rossi 002; Brahim Hnich (CoRR, 2013)

Improved Branch-and-Bound for Low Autocorrelation Binary Sequences - Steven D. Prestwich (CoRR, 2013)

Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation. - Steven D. Prestwich; Marco Laumanns; Ban Kawas (ECAI, 2014)

Statistical Constraints. - Roberto Rossi 002; Steven D. Prestwich; S. Armagan Tarim (ECAI, 2014)

Online Stochastic Planning for Taxi and Ridesharing. - Carlo Manna; Steve Prestwich (ICTAI, 2014)

Computational protein design as an optimization problem. - David Allouche; Isabelle André; Sophie Barbe; Jessica Davies 001; Simon de Givry; George Katsirelos; Barry O'Sullivan; Steven D. Prestwich; Thomas Schiex; Seydou Traoré (Artif. Intell., 2014)

Piecewise linear lower and upper bounds for the standard normal first order loss function. - Roberto Rossi 002; S. Armagan Tarim; Steven D. Prestwich; Brahim Hnich (Appl. Math. Comput., 2014)

Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand. - Roberto Rossi 002; Steven D. Prestwich; S. Armagan Tarim; Brahim Hnich (Eur. J. Oper. Res., 2014)

Randomness as a Constraint. - Steven D. Prestwich; Roberto Rossi 002; S. Armagan Tarim (CP, 2015)

Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation. - Steven D. Prestwich; Adejuyigbe O. Fajemisin; Laura Climent; Barry O'Sullivan (ECML/PKDD (1), 2015)

Confidence-based reasoning in stochastic constraint programming. - Roberto Rossi 002; Brahim Hnich; S. Armagan Tarim; Steve Prestwich (Artif. Intell., 2015)

Hybrid metaheuristics for stochastic constraint programming. - Steven D. Prestwich; S. Armagan Tarim; Roberto Rossi 002; Brahim Hnich (Constraints An Int. J., 2015)

Relevance-Redundancy Dominance: A Threshold-Free Approach to Filter-Based Feature Selection. - David Browne; Carlo Manna; Steve Prestwich (AICS, 2016)

Constraint Problem Specification as Compression. - Steve Prestwich; S. Armagan Tarim; Roberto Rossi 002 (GCAI, 2016)

Causal Discovery by Randomness Test. - Steven D. Prestwich; Armagan Tarim; Ibrahim Özkan (ISAIM, 2016)

Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection. - Laura Climent; Barry O'Sullivan; Steven D. Prestwich (LION, 2016)

Robust Principal Component Analysis by Reverse Iterative Linear Programming. - Andrea Visentin; Steven D. Prestwich; S. Armagan Tarim (ECML/PKDD (2), 2016)

The BIN_COUNTS Constraint: Filtering and Applications. - Roberto Rossi 002; Özgür Akgün; Steven D. Prestwich; Armagan Tarim (CoRR, 2016)

A Probabilistic Programming Language for Influence Diagrams. - Steven D. Prestwich; Federico Toffano; Nic Wilson (SUM, 2017)

Stochastic Constraint Programming as Reinforcement Learning. - Steven D. Prestwich; Roberto Rossi 002; Armagan Tarim (CoRR, 2017)

Declarative Statistics. - Roberto Rossi 002; Özgür Akgün; Steven D. Prestwich; S. Armagan Tarim (CoRR, 2017)

Denoising Dictionary Learning Against Adversarial Perturbations. - John Mitro; Derek Bridge 001; Steve Prestwich (AAAI Workshops, 2018)

Towards a Closer Integration of Dynamic Programming and Constraint Programming. - Steven D. Prestwich; Roberto Rossi 002; S. Armagan Tarim; Andrea Visentin (GCAI, 2018)

A new causal discovery heuristic. - Steven D. Prestwich; S. Armagan Tarim; Ibrahim Özkan (Ann. Math. Artif. Intell., 2018)

Deep Learning Human Activity Recognition. - David Browne; Michael Giering; Steve Prestwich (AICS, 2019)

Analytics-Based Decomposition of a Class of Bilevel Problems. - Adejuyigbe O. Fajemisin; Laura Climent; Steven D. Prestwich (WCGO, 2019)

Modelling Dynamic Programming-Based Global Constraints in Constraint Programming. - Andrea Visentin; Steven D. Prestwich; Roberto Rossi 002; Armagan Tarim (WCGO, 2019)

Pulse-Net: Dynamic Compression of Convolutional Neural Networks. - David Browne; Michael Giering; Steven D. Prestwich (WF-IoT, 2019)

Generating Difficult SAT Instances by Preventing Triangles. - Guillaume Escamocher; Barry O'Sullivan; Steven David Prestwich (CoRR, 2019)

Robust Constraint Acquisition by Sequential Analysis. - Steve Prestwich (ECAI, 2020)

A Simulated Annealing Algorithm for Joint Stratification and Sample Allocation Designs. - Mervyn O'Luing; Steven D. Prestwich; S. Armagan Tarim (CoRR, 2020)

Generating Difficult CNF Instances in Unexplored Constrainedness Regions. - Guillaume Escamocher; Barry O'Sullivan; Steven David Prestwich (ACM J. Exp. Algorithmics, 2020)

PulseNetOne: Fast Unsupervised Pruning of Convolutional Neural Networks for Remote Sensing. - David Browne; Michael Giering; Steven D. Prestwich (Remote. Sens., 2020)

Unsupervised Constraint Acquisition. - Steven D. Prestwich (ICTAI, 2021)

Unsupervised PulseNet: Automated Pruning of Convolutional Neural Networks by K-Means Clustering. - David Browne; Michael Giering; Steven D. Prestwich (LOD, 2021)

Classifier-based constraint acquisition. - Steven D. Prestwich; Eugene C. Freuder; Barry O'Sullivan; David Browne (Ann. Math. Artif. Intell., 2021)

Combining K-means type algorithms with Hill Climbing for Joint Stratification and Sample Allocation Designs. - Mervyn O'Luing; Steven D. Prestwich; S. Armagan Tarim (CoRR, 2021)

Computing optimal (R, s, S) policy parameters by a hybrid of branch-and-bound and stochastic dynamic programming. - Andrea Visentin; Steve Prestwich; Roberto Rossi 002; S. Armagan Tarim (Eur. J. Oper. Res., 2021)

An analytics-based heuristic decomposition of a bilevel multiple-follower cutting stock problem. - Adejuyigbe O. Fajemisin; Laura Climent; Steven D. Prestwich (OR Spectr., 2021)

CNF Encodings. - Steven D. Prestwich (Handbook of Satisfiability, 2021)

Bayesian Uncertainty Modelling for Cloud Workload Prediction. - Andrea Rossi 010; Andrea Visentin; Steven D. Prestwich; Kenneth N. Brown (CLOUD, 2022)

Bayesian Optimization with Multi-objective Acquisition Function for Bilevel Problems. - Vedat Dogan; Steven D. Prestwich (AICS, 2022)

A multi-objective supplier selection framework based on user-preferences. - Federico Toffano; Michele Garraffa; Yiqing Lin; Steven D. Prestwich; Helmut Simonis; Nic Wilson (Ann. Oper. Res., 2022)

A hybrid estimation of distribution algorithm for joint stratification and sample allocation. - Mervyn O'Luing; Steven D. Prestwich; S. Armagan Tarim (CoRR, 2022)

Clustering-Based Numerosity Reduction for Cloud Workload Forecasting. - Andrea Rossi 010; Andrea Visentin; Steven D. Prestwich; Kenneth N. Brown (ALGOCLOUD, 2023)

Performance and Energy Savings Trade-Off with Uncertainty-Aware Cloud Workload Forecasting. - Diego Carraro; Andrea Rossi 010; Andrea Visentin; Steven D. Prestwich; Kenneth N. Brown (ICNP, 2023)

Bilevel Optimization by Conditional Bayesian Optimization. - Vedat Dogan; Steven D. Prestwich (LOD (1), 2023)

Solving Mixed Influence Diagrams by Reinforcement Learning. - Steven D. Prestwich (LOD (2), 2023)

BHO-MA: Bayesian Hyperparameter Optimization with Multi-objective Acquisition. - Vedat Dogan; Steven D. Prestwich (OL2A (1), 2023)

Uncertainty-Aware Workload Prediction in Cloud Computing. - Andrea Rossi 010; Andrea Visentin; Steven D. Prestwich; Kenneth N. Brown (CoRR, 2023)

Stochastic dynamic programming heuristic for the (R,s,S) policy parameters computation. - Andrea Visentin; Steven D. Prestwich; Roberto Rossi 002; S. Armagan Tarim (Comput. Oper. Res., 2023)

Conformal Prediction Techniques for Electricity Price Forecasting. - Ciaran O'Connor; Steven D. Prestwich; Andrea Visentin (AALTD@ECML/PKDD, 2024)

A Fully Bayesian Approach to Bilevel Problems. - Vedat Dogan; Steven D. Prestwich; Barry O'Sullivan (ADT, 2024)

Electricity Price Forecasting in the Irish Balancing Market. - Ciaran O'Connor; Joseph Collins; Steven D. Prestwich; Andrea Visentin (CoRR, 2024)

Optimizing Quantile-based Trading Strategies in Electricity Arbitrage. - Ciaran O'Connor; Joseph Collins; Steven D. Prestwich; Andrea Visentin (CoRR, 2024)

A statistical approach to learning constraints. - Steven D. Prestwich; Nic Wilson (Int. J. Approx. Reason., 2024)

Multi-Objective BiLevel Optimization by Bayesian Optimization. - Vedat Dogan; Steven D. Prestwich (Algorithms, 2024)

Conformal Prediction for Electricity Price Forecasting in the Day-Ahead and Real-Time Balancing Market. - Ciaran O'Connor; Mohamed Bahloul; Roberto Rossi 002; Steven D. Prestwich; Andrea Visentin (CoRR, 2025)

Forecasting workload in cloud computing: towards uncertainty-aware predictions and transfer learning. - Andrea Rossi 010; Andrea Visentin; Diego Carraro; Steven D. Prestwich; Kenneth N. Brown (Clust. Comput., 2025)