Steven D. Prestwich

According to our database, Steven D. Prestwich authored at least 125 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Multi-Objective BiLevel Optimization by Bayesian Optimization.

Vedat Dogan, Steven D. Prestwich

Algorithms, April, 2024

A statistical approach to learning constraints.

Steven D. Prestwich, Nic Wilson

Int. J. Approx. Reason., 2024

Optimizing Quantile-based Trading Strategies in Electricity Arbitrage.

Ciaran O'Connor, Joseph Collins, Steven D. Prestwich, Andrea Visentin

CoRR, 2024

Electricity Price Forecasting in the Irish Balancing Market.

Ciaran O'Connor, Joseph Collins, Steven D. Prestwich, Andrea Visentin

CoRR, 2024

A Fully Bayesian Approach to Bilevel Problems.

Vedat Dogan, Steven D. Prestwich, Barry O'Sullivan

Proceedings of the Algorithmic Decision Theory - 8th International Conference, 2024

2023

Stochastic dynamic programming heuristic for the (R,s,S) policy parameters computation.

Andrea Visentin, Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim

Comput. Oper. Res., October, 2023

Uncertainty-Aware Workload Prediction in Cloud Computing.

Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown

CoRR, 2023

BHO-MA: Bayesian Hyperparameter Optimization with Multi-objective Acquisition.

Vedat Dogan, Steven D. Prestwich

Proceedings of the Optimization, Learning Algorithms and Applications, 2023

Solving Mixed Influence Diagrams by Reinforcement Learning.

Steven D. Prestwich

Proceedings of the Machine Learning, Optimization, and Data Science, 2023

Bilevel Optimization by Conditional Bayesian Optimization.

Vedat Dogan, Steven D. Prestwich

Proceedings of the Machine Learning, Optimization, and Data Science, 2023

Performance and Energy Savings Trade-Off with Uncertainty-Aware Cloud Workload Forecasting.

Diego Carraro, Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown

Proceedings of the 31st IEEE International Conference on Network Protocols, 2023

Clustering-Based Numerosity Reduction for Cloud Workload Forecasting.

Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown

Proceedings of the Algorithmic Aspects of Cloud Computing - 8th International Symposium, 2023

2022

A hybrid estimation of distribution algorithm for joint stratification and sample allocation.

Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim

CoRR, 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

Bayesian Optimization with Multi-objective Acquisition Function for Bilevel Problems.

Vedat Dogan, Steven D. Prestwich

Proceedings of the Artificial Intelligence and Cognitive Science - 30th Irish Conference, 2022

Bayesian Uncertainty Modelling for Cloud Workload Prediction.

Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown

Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

2021

CNF Encodings.

Steven D. Prestwich

Proceedings of the Handbook of Satisfiability - Second Edition, 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

Computing optimal (R, s, S) policy parameters by a hybrid of branch-and-bound and stochastic dynamic programming.

Andrea Visentin, Steve Prestwich, Roberto Rossi, S. Armagan Tarim

Eur. J. Oper. Res., 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

Classifier-based constraint acquisition.

Steven D. Prestwich, Eugene C. Freuder, Barry O'Sullivan, David Browne

Ann. Math. Artif. Intell., 2021

Unsupervised PulseNet: Automated Pruning of Convolutional Neural Networks by K-Means Clustering.

David Browne, Michael Giering, Steven D. Prestwich

Proceedings of the Machine Learning, Optimization, and Data Science, 2021

Unsupervised Constraint Acquisition.

Steven D. Prestwich

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

PulseNetOne: Fast Unsupervised Pruning of Convolutional Neural Networks for Remote Sensing.

David Browne, Michael Giering, Steven D. Prestwich

Remote. Sens., 2020

Generating Difficult CNF Instances in Unexplored Constrainedness Regions.

Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich

ACM J. Exp. Algorithmics, 2020

A Simulated Annealing Algorithm for Joint Stratification and Sample Allocation Designs.

Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim

CoRR, 2020

Robust Constraint Acquisition by Sequential Analysis.

Steve Prestwich

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Generating Difficult SAT Instances by Preventing Triangles.

Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich

CoRR, 2019

Pulse-Net: Dynamic Compression of Convolutional Neural Networks.

David Browne, Michael Giering, Steven D. Prestwich

Proceedings of the 5th IEEE World Forum on Internet of Things, 2019

Modelling Dynamic Programming-Based Global Constraints in Constraint Programming.

Andrea Visentin, Steven D. Prestwich, Roberto Rossi, Armagan Tarim

Proceedings of the Optimization of Complex Systems: Theory, 2019

Analytics-Based Decomposition of a Class of Bilevel Problems.

Adejuyigbe O. Fajemisin, Laura Climent, Steven D. Prestwich

Proceedings of the Optimization of Complex Systems: Theory, 2019

Deep Learning Human Activity Recognition.

David Browne, Michael Giering, Steve Prestwich

Proceedings of the Proceedings for the 27th AIAI Irish Conference on Artificial Intelligence and Cognitive Science, 2019

2018

A new causal discovery heuristic.

Steven D. Prestwich, S. Armagan Tarim, Ibrahim Özkan

Ann. Math. Artif. Intell., 2018

Towards a Closer Integration of Dynamic Programming and Constraint Programming.

Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim, Andrea Visentin

Proceedings of the GCAI-2018, 2018

Denoising Dictionary Learning Against Adversarial Perturbations.

John Mitro, Derek Bridge, Steve Prestwich

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Declarative Statistics.

Roberto Rossi, Özgür Akgün, Steven D. Prestwich, S. Armagan Tarim

CoRR, 2017

Stochastic Constraint Programming as Reinforcement Learning.

Steven D. Prestwich, Roberto Rossi, Armagan Tarim

CoRR, 2017

A Probabilistic Programming Language for Influence Diagrams.

Steven D. Prestwich, Federico Toffano, Nic Wilson

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

2016

The BIN_COUNTS Constraint: Filtering and Applications.

Roberto Rossi, Özgür Akgün, Steven D. Prestwich, Armagan Tarim

CoRR, 2016

Robust Principal Component Analysis by Reverse Iterative Linear Programming.

Andrea Visentin, Steven D. Prestwich, S. Armagan Tarim

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2016

Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection.

Laura Climent, Barry O'Sullivan, Steven D. Prestwich

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Causal Discovery by Randomness Test.

Steven D. Prestwich, Armagan Tarim, Ibrahim Özkan

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Constraint Problem Specification as Compression.

Steve Prestwich, S. Armagan Tarim, Roberto Rossi

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Relevance-Redundancy Dominance: A Threshold-Free Approach to Filter-Based Feature Selection.

David Browne, Carlo Manna, Steve Prestwich

Proceedings of the 24th Irish Conference on Artificial Intelligence and Cognitive Science, 2016

2015

Hybrid metaheuristics for stochastic constraint programming.

Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich

Constraints An Int. J., 2015

Confidence-based reasoning in stochastic constraint programming.

Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steve Prestwich

Artif. Intell., 2015

Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation.

Steven D. Prestwich, Adejuyigbe O. Fajemisin, Laura Climent, Barry O'Sullivan

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015

Randomness as a Constraint.

Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand.

Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich

Eur. J. Oper. Res., 2014

Piecewise linear lower and upper bounds for the standard normal first order loss function.

Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich, Brahim Hnich

Appl. Math. Comput., 2014

Computational protein design as an optimization problem.

David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré

Artif. Intell., 2014

Online Stochastic Planning for Taxi and Ridesharing.

Carlo Manna, Steve Prestwich

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Statistical Constraints.

Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation.

Steven D. Prestwich, Marco Laumanns, Ban Kawas

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Improved Branch-and-Bound for Low Autocorrelation Binary Sequences

Steven D. Prestwich

CoRR, 2013

Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing.

Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich

CoRR, 2013

Value Interchangeability in Scenario Generation.

Steven D. Prestwich, Marco Laumanns, Ban Kawas

Proceedings of the Principles and Practice of Constraint Programming, 2013

Dead-End Elimination for Weighted CSP.

Simon de Givry, Steven D. Prestwich, Barry O'Sullivan

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Earthquake Scenario Reduction by Symmetry Reasoning

Steve Prestwich

CoRR, 2012

Confidence-based Optimization for the Newsvendor Problem.

Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich

CoRR, 2012

Partial symmetry breaking by local search in the group.

Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim

Constraints An Int. J., 2012

Constraint programming for stochastic inventory systems under shortage cost.

Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich

Ann. Oper. Res., 2012

Filtering algorithms for global chance constraints.

Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich

Artif. Intell., 2012

2011

Finding (α, ϑ)-Solutions via Sampled SCSPs.

Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich

Proceedings of the IJCAI 2011, 2011

Risk-Averse Production Planning.

Ban Kawas, Marco Laumanns, Eleni Pratsini, Steve Prestwich

Proceedings of the Algorithmic Decision Theory - Second International Conference, 2011

2010

Scheduling internal audit activities: a stochastic combinatorial optimization problem.

Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Semra Karacaer

J. Comb. Optim., 2010

Production Planning for Pharmaceutical Companies Under Non-Compliance Risk.

Marco Laumanns, Eleni Pratsini, Steven D. Prestwich, Catalin-Stefan Tiseanu

Proceedings of the Operations Research Proceedings 2010, 2010

Stochastic Constraint Programming by Neuroevolution with Filtering.

Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009

CNF Encodings.

Steven D. Prestwich

Proceedings of the Handbook of Satisfiability, 2009

A note on Liu-Iwamura's dependent-chance programming.

Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Cahit Guran

Eur. J. Oper. Res., 2009

On Improving Local Search for Unsatisfiability

David Pereira, Inês Lynce, Steven D. Prestwich

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints.

S. Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich

Constraints An Int. J., 2009

Finding reliable solutions: event-driven probabilistic constraint programming.

S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Roberto Rossi

Ann. Oper. Res., 2009

Evolving Parameterised Policies for Stochastic Constraint Programming.

Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich

Proceedings of the Principles and Practice of Constraint Programming, 2009

Synthesizing Filtering Algorithms for Global Chance-Constraints.

Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich

Proceedings of the Principles and Practice of Constraint Programming, 2009

Neuroevolutionary Inventory Control in Multi-Echelon Systems.

Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich

Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

2008

The Relation Between Complete and Incomplete Search.

Steven D. Prestwich

Proceedings of the Hybrid Metaheuristics, An Emerging Approach to Optimization, 2008

Generalised graph colouring by a hybrid of local search and constraint programming.

Steven D. Prestwich

Discret. Appl. Math., 2008

A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints.

Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich

Constraints An Int. J., 2008

Boosting Haplotype Inference with Local Search.

Inês Lynce, João Marques-Silva, Steve Prestwich

Constraints An Int. J., 2008

A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control.

Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich

Proceedings of the Parallel Problem Solving from Nature, 2008

A Cultural Algorithm for POMDPs from Stochastic Inventory Control.

Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich

Proceedings of the Hybrid Metaheuristics, 5th International Workshop, 2008

Cost-Based Domain Filtering for Stochastic Constraint Programming.

Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Exploiting relaxation in local search for LABS.

Steven D. Prestwich

Ann. Oper. Res., 2007

Variable Dependency in Local Search: Prevention Is Better Than Cure.

Steven D. Prestwich

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Tuning Local Search by Average-Reward Reinforcement Learning.

Steven D. Prestwich

Proceedings of the Learning and Intelligent Optimization, Second International Conference, 2007

Replenishment Planning for Stochastic Inventory Systems with Shortage Cost.

Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Refutation by Randomised General Resolution.

Steven D. Prestwich, Inês Lynce

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Hard and soft constraints for reasoning about qualitative conditional preferences.

Carmel Domshlak, Steven D. Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh

J. Heuristics, 2006

Constraint Models for the Covering Test Problem.

Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith

Constraints An Int. J., 2006

Local Search for Unsatisfiability.

Steven D. Prestwich, Inês Lynce

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Cost-Based Filtering for Stochastic Inventory Control.

Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich

Proceedings of the Recent Advances in Constraints, 2006

Event-Driven Probabilistic Constraint Programming.

Armagan Tarim, Brahim Hnich, Steven D. Prestwich

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

2005

A SAT approach to query optimization in mediator systems.

Steven D. Prestwich, Stéphane Bressan

Ann. Math. Artif. Intell., 2005

Random Walk with Continuously Smoothed Variable Weights.

Steven D. Prestwich

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Symmetry Breaking and Local Search Spaces.

Steven D. Prestwich, Andrea Roli

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Bounds-Consistent Local Search.

Stefania Verachi, Steven D. Prestwich

Proceedings of the Principles and Practice of Constraint Programming, 2005

Constraint-Based Preferential Optimization.

Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh

Proceedings of the Proceedings, 2005

2004

Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems.

Steven D. Prestwich

Ann. Oper. Res., 2004

Local Search for Very Large SAT Problems.

Steven D. Prestwich, Colin Quirke

Proceedings of the SAT 2004, 2004

Constraint-Based Approaches to the Covering Test Problem.

Brahim Hnich, Steven D. Prestwich, Evgeny Selensky

Proceedings of the Recent Advances in Constraints, 2004

Full Dynamic Substitutability by SAT Encoding.

Steven D. Prestwich

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

SAT problems with chains of dependent variables.

Steven D. Prestwich

Discret. Appl. Math., 2003

Negative Effects of Modeling Techniques on Search Performance.

Steven D. Prestwich

Ann. Oper. Res., 2003

Local Search on SAT-encoded Colouring Problems.

Steven D. Prestwich

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

A SAT-Based Approach to Multiple Sequence Alignment.

Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search.

Steven D. Prestwich

Ann. Oper. Res., 2002

Coloration Neighbourhood Search With Forward Checking.

Steven D. Prestwich

Ann. Math. Artif. Intell., 2002

A Local Search Algorithm for Balanced Incomplete Block Designs.

Steven D. Prestwich

Proceedings of the Recent Advances in Constraints, 2002

2000

Parallel Software Performance Metrics as Continuous Functions of Event Times.

Steven D. Prestwich

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Some Pitfalls of Parallel Logic Programming.

Steven D. Prestwich

Comput. Artif. Intell., 2000

Stochastic Local search in Constrained Spaces.

Steven D. Prestwich

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.

Steven D. Prestwich

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Using an Incomplete Version of Dynamic Backtracking for Graph Colouring.

Steven D. Prestwich

Electron. Notes Discret. Math., 1999

1998

A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers.

Steven D. Prestwich

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1996

Visualizing Parallel Logic Program Execution for Performance Tuning.

Anthony J. Kusalik, Steven D. Prestwich

Proceedings of the Logic Programming, 1996

1995

Improved Branch and Bound in Constraint Logic Programming.

Steven D. Prestwich, Shyam Mudambi

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

High-Level Visualisation of Parallel Logic Program Execution.

Steven D. Prestwich, Anthony J. Kusalik

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

On Logic Program Parallelisation Strategies.

Steven D. Prestwich

Proceedings of the Parallel Processing: CONPAR 94, 1994

1993

Online Partial Deduction of Large Programs.

Steven D. Prestwich

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

Programmer-Oriented Visualization of Parallel Logic Program Execution.

Anthony J. Kusalik, Steven D. Prestwich

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

1992

Meta-Programming for Reordering Literals in Deductive Databases.

Jesper Larsson Träff, Steven David Prestwich

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

An Unfold Rule for Full Prolog.

Steven D. Prestwich

Proceedings of the Logic Program Synthesis and Transformation, 1992

1991

Synthesis of a Family of Recursive Sorting Procedures.

Kung-Kiu Lau, Steven D. Prestwich

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.

Kung-Kiu Lau, Steven D. Prestwich

Proceedings of the Logic Programming, 1990