Steven D. Prestwich

119 papers A* 2A 19B 8C 2Misc 1Journal 51Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop.
CoRR
Roberto Rossi, Steven D. Prestwich
2025 — conf
A Multi-Agent Reinforcement Learning-Based Framework for Forecasting Terrorist Collaboration and Predicting Future Alliances.
ASONAM (2)
Vedat Dogan, Steven D. Prestwich, Barry O'Sullivan
2025 J jnl
Conformal Prediction for Electricity Price Forecasting in the Day-Ahead and Real-Time Balancing Market.
CoRR
Ciaran O'Connor, Mohamed Bahloul, Roberto Rossi, Steven D. Prestwich, Andrea Visentin
2025 J jnl
Forecasting workload in cloud computing: towards uncertainty-aware predictions and transfer learning.
Clust. Comput.
Andrea Rossi, Andrea Visentin, Diego Carraro, Steven D. Prestwich, Kenneth N. Brown
2025 J jnl
The Evolution of Probabilistic Price Forecasting Techniques: A Review of the Day-Ahead, Intra-Day, and Balancing Markets.
CoRR
Ciaran O'Connor, Mohamed Bahloul, Steven D. Prestwich, Andrea Visentin
2024 — conf
A Fully Bayesian Approach to Bilevel Problems.
ADT
Vedat Dogan, Steven D. Prestwich, Barry O'Sullivan
2024 J jnl
A statistical approach to learning constraints.
Int. J. Approx. Reason.
Steven D. Prestwich, Nic Wilson
2024 — conf
Conformal Prediction Techniques for Electricity Price Forecasting.
AALTD@ECML/PKDD
Ciaran O'Connor, Steven D. Prestwich, Andrea Visentin
2024 J jnl
Electricity Price Forecasting in the Irish Balancing Market.
CoRR
Ciaran O'Connor, Joseph Collins, Steven D. Prestwich, Andrea Visentin
2024 J jnl
Multi-Objective BiLevel Optimization by Bayesian Optimization.
Algorithms
Vedat Dogan, Steven D. Prestwich
2024 J jnl
Optimizing Quantile-based Trading Strategies in Electricity Arbitrage.
CoRR
Ciaran O'Connor, Joseph Collins, Steven D. Prestwich, Andrea Visentin
2023 — conf
BHO-MA: Bayesian Hyperparameter Optimization with Multi-objective Acquisition.
OL2A (1)
Vedat Dogan, Steven D. Prestwich
2023 — conf
Bilevel Optimization by Conditional Bayesian Optimization.
LOD (1)
Vedat Dogan, Steven D. Prestwich
2023 — conf
Clustering-Based Numerosity Reduction for Cloud Workload Forecasting.
ALGOCLOUD
Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown
2023 B conf
Performance and Energy Savings Trade-Off with Uncertainty-Aware Cloud Workload Forecasting.
ICNP
Diego Carraro, Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown
2023 — conf
Solving Mixed Influence Diagrams by Reinforcement Learning.
LOD (2)
Steven D. Prestwich
2023 J jnl
Stochastic dynamic programming heuristic for the (R,s,S) policy parameters computation.
Comput. Oper. Res.
Andrea Visentin, Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim
2023 J jnl
Uncertainty-Aware Workload Prediction in Cloud Computing.
CoRR
Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown
2022 J jnl
A hybrid estimation of distribution algorithm for joint stratification and sample allocation.
CoRR
Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim
2022 J jnl
A multi-objective supplier selection framework based on user-preferences.
Ann. Oper. Res.
Federico Toffano, Michele Garraffa, Yiqing Lin, Steven D. Prestwich, Helmut Simonis, Nic Wilson
2022 — conf
Bayesian Optimization with Multi-objective Acquisition Function for Bilevel Problems.
AICS
Vedat Dogan, Steven D. Prestwich
2022 B conf
Bayesian Uncertainty Modelling for Cloud Workload Prediction.
CLOUD
Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown
2021 J jnl
An analytics-based heuristic decomposition of a bilevel multiple-follower cutting stock problem.
OR Spectr.
Adejuyigbe O. Fajemisin, Laura Climent, Steven D. Prestwich
2021 — ch.
CNF Encodings.
Handbook of Satisfiability
Steven D. Prestwich
2021 J jnl
Classifier-based constraint acquisition.
Ann. Math. Artif. Intell.
Steven D. Prestwich, Eugene C. Freuder, Barry O'Sullivan, David Browne
2021 J jnl
Combining K-means type algorithms with Hill Climbing for Joint Stratification and Sample Allocation Designs.
CoRR
Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim
2021 B conf
Unsupervised Constraint Acquisition.
ICTAI
Steven D. Prestwich
2021 — conf
Unsupervised PulseNet: Automated Pruning of Convolutional Neural Networks by K-Means Clustering.
LOD
David Browne, Michael Giering, Steven D. Prestwich
2020 J jnl
A Simulated Annealing Algorithm for Joint Stratification and Sample Allocation Designs.
CoRR
Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim
2020 J jnl
PulseNetOne: Fast Unsupervised Pruning of Convolutional Neural Networks for Remote Sensing.
Remote. Sens.
David Browne, Michael Giering, Steven D. Prestwich
2019 — conf
Analytics-Based Decomposition of a Class of Bilevel Problems.
WCGO
Adejuyigbe O. Fajemisin, Laura Climent, Steven D. Prestwich
2019 — conf
Modelling Dynamic Programming-Based Global Constraints in Constraint Programming.
WCGO
Andrea Visentin, Steven D. Prestwich, Roberto Rossi, Armagan Tarim
2019 — conf
Pulse-Net: Dynamic Compression of Convolutional Neural Networks.
WF-IoT
David Browne, Michael Giering, Steven D. Prestwich
2018 J jnl
A new causal discovery heuristic.
Ann. Math. Artif. Intell.
Steven D. Prestwich, S. Armagan Tarim, Ibrahim Özkan
2018 J jnl
Denoising Dictionary Learning Against Adversarial Perturbations.
CoRR
John Mitro, Derek Bridge, Steven D. Prestwich
2018 — conf
Towards a Closer Integration of Dynamic Programming and Constraint Programming.
GCAI
Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim, Andrea Visentin
2017 — conf
A Probabilistic Programming Language for Influence Diagrams.
SUM
Steven D. Prestwich, Federico Toffano, Nic Wilson
2017 J jnl
Declarative Statistics.
CoRR
Roberto Rossi, Özgür Akgün, Steven D. Prestwich, S. Armagan Tarim
2017 J jnl
Stochastic Constraint Programming as Reinforcement Learning.
CoRR
Steven D. Prestwich, Roberto Rossi, Armagan Tarim
2016 — conf
Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection.
LION
Laura Climent, Barry O'Sullivan, Steven D. Prestwich
2016 Misc conf
Causal Discovery by Randomness Test.
ISAIM
Steven D. Prestwich, Armagan Tarim, Ibrahim Özkan
2016 — conf
Robust Principal Component Analysis by Reverse Iterative Linear Programming.
ECML/PKDD (2)
Andrea Visentin, Steven D. Prestwich, S. Armagan Tarim
2016 J jnl
The BIN_COUNTS Constraint: Filtering and Applications.
CoRR
Roberto Rossi, Özgür Akgün, Steven D. Prestwich, Armagan Tarim
2015 J jnl
Hybrid metaheuristics for stochastic constraint programming.
Constraints An Int. J.
Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich
2015 A conf
Randomness as a Constraint.
CP
Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim
2015 — conf
Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation.
ECML/PKDD (1)
Steven D. Prestwich, Adejuyigbe O. Fajemisin, Laura Climent, Barry O'Sullivan
2014 J jnl
Computational protein design as an optimization problem.
Artif. Intell.
David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré
2014 J jnl
Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand.
Eur. J. Oper. Res.
Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich
2014 J jnl
Piecewise linear lower and upper bounds for the standard normal first order loss function.
Appl. Math. Comput.
Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich, Brahim Hnich
2014 A conf
Statistical Constraints.
ECAI
Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim
2014 J jnl
Statistical Constraints.
CoRR
Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim
2014 A conf
Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation.
ECAI
Steven D. Prestwich, Marco Laumanns, Ban Kawas
2013 A conf
Dead-End Elimination for Weighted CSP.
CP
Simon de Givry, Steven D. Prestwich, Barry O'Sullivan
2013 J jnl
Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing.
CoRR
Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich
2013 J jnl
Improved Branch-and-Bound for Low Autocorrelation Binary Sequences
CoRR
Steven D. Prestwich
2013 A conf
Value Interchangeability in Scenario Generation.
CP
Steven D. Prestwich, Marco Laumanns, Ban Kawas
2012 J jnl
Confidence-based Optimization for the Newsvendor Problem.
CoRR
Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich
2012 J jnl
Constraint programming for stochastic inventory systems under shortage cost.
Ann. Oper. Res.
Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich
2012 J jnl
Filtering algorithms for global chance constraints.
Artif. Intell.
Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich
2012 J jnl
Partial symmetry breaking by local search in the group.
Constraints An Int. J.
Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim
2011 J jnl
Confidence-based Reasoning in Stochastic Constraint Programming.
CoRR
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich
2011 A* conf
Finding (α, ϑ)-Solutions via Sampled SCSPs.
IJCAI
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich
2010 — conf
Production Planning for Pharmaceutical Companies Under Non-Compliance Risk.
OR
Marco Laumanns, Eleni Pratsini, Steven D. Prestwich, Catalin-Stefan Tiseanu
2010 J jnl
Scheduling internal audit activities: a stochastic combinatorial optimization problem.
J. Comb. Optim.
Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Semra Karacaer
2010 B conf
Stochastic Constraint Programming by Neuroevolution with Filtering.
CPAIOR
Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich
2009 J jnl
A note on Liu-Iwamura's dependent-chance programming.
Eur. J. Oper. Res.
Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Cahit Guran
2009 — ch.
CNF Encodings.
Handbook of Satisfiability
Steven D. Prestwich
2009 J jnl
Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints.
Constraints An Int. J.
S. Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich
2009 A conf
Evolving Parameterised Policies for Stochastic Constraint Programming.
CP
Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich
2009 J jnl
Finding reliable solutions: event-driven probabilistic constraint programming.
Ann. Oper. Res.
S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Roberto Rossi
2009 — conf
Neuroevolutionary Inventory Control in Multi-Echelon Systems.
ADT
Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich
2009 — conf
On Improving Local Search for Unsatisfiability
LSCS
David Pereira, Inês Lynce, Steven D. Prestwich
2009 A conf
Synthesizing Filtering Algorithms for Global Chance-Constraints.
CP
Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich
2008 — conf
A Cultural Algorithm for POMDPs from Stochastic Inventory Control.
Hybrid Metaheuristics
Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich
2008 J jnl
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints.
Constraints An Int. J.
Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich
2008 A conf
A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control.
PPSN
Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich
2008 A conf
Cost-Based Domain Filtering for Stochastic Constraint Programming.
CP
Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich
2008 J jnl
Generalised graph colouring by a hybrid of local search and constraint programming.
Discret. Appl. Math.
Steven D. Prestwich
2008 — ch.
The Relation Between Complete and Incomplete Search.
Hybrid Metaheuristics
Steven D. Prestwich
2007 J jnl
Exploiting relaxation in local search for LABS.
Ann. Oper. Res.
Steven D. Prestwich
2007 A* conf
Refutation by Randomised General Resolution.
AAAI
Steven D. Prestwich, Inês Lynce
2007 B conf
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost.
CPAIOR
Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich
2007 — conf
Tuning Local Search by Average-Reward Reinforcement Learning.
LION
Steven D. Prestwich
2007 A conf
Variable Dependency in Local Search: Prevention Is Better Than Cure.
SAT
Steven D. Prestwich
2006 J jnl
Constraint Models for the Covering Test Problem.
Constraints An Int. J.
Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith
2006 — conf
Cost-Based Filtering for Stochastic Inventory Control.
CSCLP
Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich
2006 B conf
Event-Driven Probabilistic Constraint Programming.
CPAIOR
Armagan Tarim, Brahim Hnich, Steven D. Prestwich
2006 J jnl
Hard and soft constraints for reasoning about qualitative conditional preferences.
J. Heuristics
Carmel Domshlak, Steven D. Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh
2006 A conf
Local Search for Unsatisfiability.
SAT
Steven D. Prestwich, Inês Lynce
2005 J jnl
A SAT approach to query optimization in mediator systems.
Ann. Math. Artif. Intell.
Steven D. Prestwich, Stéphane Bressan
2005 A conf
Bounds-Consistent Local Search.
CP
Stefania Verachi, Steven D. Prestwich
2005 A conf
Random Walk with Continuously Smoothed Variable Weights.
SAT
Steven D. Prestwich
2005 B conf
Symmetry Breaking and Local Search Spaces.
CPAIOR
Steven D. Prestwich, Andrea Roli
2004 — conf
Constraint-Based Approaches to the Covering Test Problem.
CSCLP
Brahim Hnich, Steven D. Prestwich, Evgeny Selensky
2004 A conf
Full Dynamic Substitutability by SAT Encoding.
CP
Steven D. Prestwich
2004 J jnl
Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems.
Ann. Oper. Res.
Steven D. Prestwich
2004 A conf
Local Search for Very Large SAT Problems.
SAT
Steven D. Prestwich, Colin Quirke
2003 A conf
A SAT-Based Approach to Multiple Sequence Alignment.
CP
Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan
2003 A conf
Local Search on SAT-encoded Colouring Problems.
SAT
Steven D. Prestwich
2003 J jnl
Negative Effects of Modeling Techniques on Search Performance.
Ann. Oper. Res.
Steven D. Prestwich
2003 J jnl
SAT problems with chains of dependent variables.
Discret. Appl. Math.
Steven D. Prestwich
2002 — conf
A Local Search Algorithm for Balanced Incomplete Block Designs.
International Workshop on Constraint Solving and Constraint Logic Programming
Steven D. Prestwich
2002 J jnl
Coloration Neighbourhood Search With Forward Checking.
Ann. Math. Artif. Intell.
Steven D. Prestwich
2002 J jnl
Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search.
Ann. Oper. Res.
Steven D. Prestwich
2000 A conf
A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.
CP
Steven D. Prestwich
2000 — conf
Parallel Software Performance Metrics as Continuous Functions of Event Times.
MFCSIT
Steven D. Prestwich
2000 J jnl
Some Pitfalls of Parallel Logic Programming.
Comput. Artif. Intell.
Steven D. Prestwich
2000 — conf
Stochastic Local search in Constrained Spaces.
PACPL
Steven D. Prestwich
1999 J jnl
Using an Incomplete Version of Dynamic Backtracking for Graph Colouring.
Electron. Notes Discret. Math.
Steven D. Prestwich
1998 — conf
A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers.
FroCoS
Steven D. Prestwich
1996 — conf
Visualizing Parallel Logic Program Execution for Performance Tuning.
JICSLP
Anthony J. Kusalik, Steven D. Prestwich
1995 A conf
Improved Branch and Bound in Constraint Logic Programming.
CP
Steven D. Prestwich, Shyam Mudambi
1994 — conf
High-Level Visualisation of Parallel Logic Program Execution.
PARLE
Steven D. Prestwich, Anthony J. Kusalik
1994 — conf
On Logic Program Parallelisation Strategies.
CONPAR
Steven D. Prestwich
1993 C conf
Online Partial Deduction of Large Programs.
PEPM
Steven D. Prestwich
1993 — conf
Programmer-Oriented Visualization of Parallel Logic Program Execution.
LPE
Anthony J. Kusalik, Steven D. Prestwich
1992 C conf
An Unfold Rule for Full Prolog.
LOPSTR
Steven D. Prestwich
1991 — conf
Synthesis of a Family of Recursive Sorting Procedures.
ISLP
Kung-Kiu Lau, Steven D. Prestwich
1990 B conf
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.
ICLP
Kung-Kiu Lau, Steven D. Prestwich