Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteven D. Prestwich
Steven David Prestwich – Steve Prestwich
Person information
- affiliation: University College Cork, Insight Centre for Data Analytics, Ireland
- affiliation: National University of Ireland at Cork, Department of Computer Science, Ireland
- affiliation (PhD): University of Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[i15]Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown:
Uncertainty-Aware Workload Prediction in Cloud Computing. CoRR abs/2303.13525 (2023)- 2022
- [j33]Federico Toffano
, Michele Garraffa, Yiqing Lin, Steven D. Prestwich, Helmut Simonis, Nic Wilson:
A multi-objective supplier selection framework based on user-preferences. Ann. Oper. Res. 308(1): 609-640 (2022) - [c66]Andrea Rossi, Andrea Visentin, Steven D. Prestwich, Kenneth N. Brown:
Bayesian Uncertainty Modelling for Cloud Workload Prediction. CLOUD 2022: 19-29 - [c65]Vedat Dogan, Steven D. Prestwich:
Bayesian Optimization with Multi-objective Acquisition Function for Bilevel Problems. AICS 2022: 409-422 - [i14]Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim:
A hybrid estimation of distribution algorithm for joint stratification and sample allocation. CoRR abs/2201.04068 (2022) - 2021
- [j32]Steven D. Prestwich, Eugene C. Freuder, Barry O'Sullivan, David Browne:
Classifier-based constraint acquisition. Ann. Math. Artif. Intell. 89(7): 655-674 (2021) - [j31]Andrea Visentin, Steve Prestwich, Roberto Rossi, S. Armagan Tarim:
Computing optimal (R, s, S) policy parameters by a hybrid of branch-and-bound and stochastic dynamic programming. Eur. J. Oper. Res. 294(1): 91-99 (2021) - [j30]Adejuyigbe O. Fajemisin, Laura Climent, Steven D. Prestwich:
An analytics-based heuristic decomposition of a bilevel multiple-follower cutting stock problem. OR Spectr. 43(3): 665-692 (2021) - [c64]Steven D. Prestwich:
Unsupervised Constraint Acquisition. ICTAI 2021: 256-262 - [c63]David Browne, Michael Giering, Steven D. Prestwich:
Unsupervised PulseNet: Automated Pruning of Convolutional Neural Networks by K-Means Clustering. LOD 2021: 172-184 - [p3]Steven D. Prestwich:
CNF Encodings. Handbook of Satisfiability 2021: 75-100 - [i13]Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim:
Combining K-means type algorithms with Hill Climbing for Joint Stratification and Sample Allocation Designs. CoRR abs/2108.08038 (2021) - 2020
- [j29]Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich:
Generating Difficult CNF Instances in Unexplored Constrainedness Regions. ACM J. Exp. Algorithmics 25: 1-12 (2020) - [j28]David Browne, Michael Giering, Steven D. Prestwich:
PulseNetOne: Fast Unsupervised Pruning of Convolutional Neural Networks for Remote Sensing. Remote. Sens. 12(7): 1092 (2020) - [c62]Steve Prestwich:
Robust Constraint Acquisition by Sequential Analysis. ECAI 2020: 355-362 - [i12]Mervyn O'Luing, Steven D. Prestwich, S. Armagan Tarim:
A Simulated Annealing Algorithm for Joint Stratification and Sample Allocation Designs. CoRR abs/2011.13006 (2020)
2010 – 2019
- 2019
- [c61]David Browne, Michael Giering, Steve Prestwich:
Deep Learning Human Activity Recognition. AICS 2019: 76-87 - [c60]Andrea Visentin, Steven D. Prestwich, Roberto Rossi, Armagan Tarim:
Modelling Dynamic Programming-Based Global Constraints in Constraint Programming. WCGO 2019: 417-427 - [c59]Adejuyigbe O. Fajemisin, Laura Climent, Steven D. Prestwich:
Analytics-Based Decomposition of a Class of Bilevel Problems. WCGO 2019: 617-626 - [c58]David Browne, Michael Giering, Steven D. Prestwich:
Pulse-Net: Dynamic Compression of Convolutional Neural Networks. WF-IoT 2019: 346-351 - [i11]Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich:
Generating Difficult SAT Instances by Preventing Triangles. CoRR abs/1903.03592 (2019) - 2018
- [j27]Steven D. Prestwich, S. Armagan Tarim, Ibrahim Özkan:
A new causal discovery heuristic. Ann. Math. Artif. Intell. 82(4): 245-259 (2018) - [c57]John Mitro, Derek Bridge, Steve Prestwich:
Denoising Dictionary Learning Against Adversarial Perturbations. AAAI Workshops 2018: 364-371 - [c56]Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim, Andrea Visentin:
Towards a Closer Integration of Dynamic Programming and Constraint Programming. GCAI 2018: 202-214 - [i10]John Mitro, Derek Bridge, Steven D. Prestwich:
Denoising Dictionary Learning Against Adversarial Perturbations. CoRR abs/1801.02257 (2018) - 2017
- [c55]Steven D. Prestwich, Federico Toffano, Nic Wilson:
A Probabilistic Programming Language for Influence Diagrams. SUM 2017: 252-265 - [i9]Steven D. Prestwich, Roberto Rossi, Armagan Tarim:
Stochastic Constraint Programming as Reinforcement Learning. CoRR abs/1704.07183 (2017) - [i8]Roberto Rossi, Özgür Akgün, Steven D. Prestwich, S. Armagan Tarim:
Declarative Statistics. CoRR abs/1708.01829 (2017) - 2016
- [c54]David Browne, Carlo Manna, Steve Prestwich:
Relevance-Redundancy Dominance: A Threshold-Free Approach to Filter-Based Feature Selection. AICS 2016: 227-238 - [c53]Steve Prestwich, S. Armagan Tarim, Roberto Rossi:
Constraint Problem Specification as Compression. GCAI 2016: 280-292 - [c52]Steven D. Prestwich, Armagan Tarim, Ibrahim Özkan:
Causal Discovery by Randomness Test. ISAIM 2016 - [c51]Laura Climent, Barry O'Sullivan, Steven D. Prestwich:
Bounding the Search Space of the Population Harvest Cutting Problem with Multiple Size Stock Selection. LION 2016: 75-90 - [c50]Andrea Visentin, Steven D. Prestwich, S. Armagan Tarim:
Robust Principal Component Analysis by Reverse Iterative Linear Programming. ECML/PKDD (2) 2016: 593-605 - [i7]Roberto Rossi, Özgür Akgün, Steven D. Prestwich, Armagan Tarim:
The BIN_COUNTS Constraint: Filtering and Applications. CoRR abs/1611.08942 (2016) - 2015
- [j26]Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steve Prestwich:
Confidence-based reasoning in stochastic constraint programming. Artif. Intell. 228: 129-152 (2015) - [j25]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Hybrid metaheuristics for stochastic constraint programming. Constraints An Int. J. 20(1): 57-76 (2015) - [c49]Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim:
Randomness as a Constraint. CP 2015: 351-366 - [c48]Steven D. Prestwich, Adejuyigbe O. Fajemisin, Laura Climent, Barry O'Sullivan:
Solving a Hard Cutting Stock Problem by Machine Learning and Optimisation. ECML/PKDD (1) 2015: 335-347 - 2014
- [j24]David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré:
Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) - [j23]Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich, Brahim Hnich:
Piecewise linear lower and upper bounds for the standard normal first order loss function. Appl. Math. Comput. 231: 489-502 (2014) - [j22]Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich:
Confidence-based optimisation for the newsvendor problem under binomial, Poisson and exponential demand. Eur. J. Oper. Res. 239(3): 674-684 (2014) - [c47]Steven D. Prestwich, Marco Laumanns, Ban Kawas:
Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation. ECAI 2014: 741-746 - [c46]Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim:
Statistical Constraints. ECAI 2014: 777-782 - [c45]Carlo Manna, Steve Prestwich:
Online Stochastic Planning for Taxi and Ridesharing. ICTAI 2014: 906-913 - [i6]Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim:
Statistical Constraints. CoRR abs/1402.5161 (2014) - 2013
- [c44]Simon de Givry, Steven D. Prestwich, Barry O'Sullivan:
Dead-End Elimination for Weighted CSP. CP 2013: 263-272 - [c43]Steven D. Prestwich, Marco Laumanns, Ban Kawas:
Value Interchangeability in Scenario Generation. CP 2013: 587-595 - [i5]Steven D. Prestwich:
Improved Branch-and-Bound for Low Autocorrelation Binary Sequences. CoRR abs/1305.6187 (2013) - [i4]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing. CoRR abs/1307.6102 (2013) - 2012
- [j21]Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich:
Filtering algorithms for global chance constraints. Artif. Intell. 189: 69-94 (2012) - [j20]Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Constraint programming for stochastic inventory systems under shortage cost. Ann. Oper. Res. 195(1): 49-71 (2012) - [j19]Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim:
Partial symmetry breaking by local search in the group. Constraints An Int. J. 17(2): 148-171 (2012) - [i3]Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim, Brahim Hnich:
Confidence-based Optimization for the Newsvendor Problem. CoRR abs/1207.5781 (2012) - [i2]Steve Prestwich:
Earthquake Scenario Reduction by Symmetry Reasoning. CoRR abs/1207.6514 (2012) - 2011
- [c42]Ban Kawas, Marco Laumanns, Eleni Pratsini, Steve Prestwich:
Risk-Averse Production Planning. ADT 2011: 108-120 - [c41]Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich:
Finding (α, ϑ)-Solutions via Sampled SCSPs. IJCAI 2011: 2172-2177 - [i1]Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich:
Confidence-based Reasoning in Stochastic Constraint Programming. CoRR abs/1110.1892 (2011) - 2010
- [j18]Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Semra Karacaer:
Scheduling internal audit activities: a stochastic combinatorial optimization problem. J. Comb. Optim. 19(3): 325-346 (2010) - [c40]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Stochastic Constraint Programming by Neuroevolution with Filtering. CPAIOR 2010: 282-286 - [c39]Marco Laumanns, Eleni Pratsini, Steven D. Prestwich, Catalin-Stefan Tiseanu:
Production Planning for Pharmaceutical Companies Under Non-Compliance Risk. OR 2010: 545-550
2000 – 2009
- 2009
- [j17]S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Roberto Rossi:
Finding reliable solutions: event-driven probabilistic constraint programming. Ann. Oper. Res. 171(1): 77-99 (2009) - [j16]S. Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich:
Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints. Constraints An Int. J. 14(2): 137-176 (2009) - [j15]Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich, Cahit Guran:
A note on Liu-Iwamura's dependent-chance programming. Eur. J. Oper. Res. 198(3): 983-986 (2009) - [c38]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Neuroevolutionary Inventory Control in Multi-Echelon Systems. ADT 2009: 402-413 - [c37]Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven D. Prestwich:
Synthesizing Filtering Algorithms for Global Chance-Constraints. CP 2009: 439-453 - [c36]Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Evolving Parameterised Policies for Stochastic Constraint Programming. CP 2009: 684-691 - [c35]David Pereira, Inês Lynce, Steven D. Prestwich:
On Improving Local Search for Unsatisfiability. LSCS 2009: 41-53 - [p2]Steven D. Prestwich:
CNF Encodings. Handbook of Satisfiability 2009: 75-97 - 2008
- [j14]Inês Lynce, João Marques-Silva, Steve Prestwich:
Boosting Haplotype Inference with Local Search. Constraints An Int. J. 13(1-2): 155-179 (2008) - [j13]Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. Constraints An Int. J. 13(4): 490-517 (2008) - [j12]Steven D. Prestwich:
Generalised graph colouring by a hybrid of local search and constraint programming. Discret. Appl. Math. 156(2): 148-158 (2008) - [c34]Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Cost-Based Domain Filtering for Stochastic Constraint Programming. CP 2008: 235-250 - [c33]Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich:
A Cultural Algorithm for POMDPs from Stochastic Inventory Control. Hybrid Metaheuristics 2008: 16-28 - [c32]Steven D. Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich:
A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. PPSN 2008: 559-568 - [p1]Steven D. Prestwich:
The Relation Between Complete and Incomplete Search. Hybrid Metaheuristics 2008: 63-83 - 2007
- [j11]Steven D. Prestwich:
Exploiting relaxation in local search for LABS. Ann. Oper. Res. 156(1): 129-141 (2007) - [c31]Steven D. Prestwich, Inês Lynce:
Refutation by Randomised General Resolution. AAAI 2007: 1667-1670 - [c30]Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. CPAIOR 2007: 229-243 - [c29]Steven D. Prestwich:
Tuning Local Search by Average-Reward Reinforcement Learning. LION 2007: 192-205 - [c28]Steven D. Prestwich:
Variable Dependency in Local Search: Prevention Is Better Than Cure. SAT 2007: 107-120 - 2006
- [j10]Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith:
Constraint Models for the Covering Test Problem. Constraints An Int. J. 11(2-3): 199-219 (2006) - [j9]Carmel Domshlak, Steven D. Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Hard and soft constraints for reasoning about qualitative conditional preferences. J. Heuristics 12(4-5): 263-285 (2006) - [c27]Armagan Tarim, Brahim Hnich, Steven D. Prestwich:
Event-Driven Probabilistic Constraint Programming. CPAIOR 2006: 197-211 - [c26]Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven D. Prestwich:
Cost-Based Filtering for Stochastic Inventory Control. CSCLP 2006: 169-183 - [c25]Steven D. Prestwich, Inês Lynce:
Local Search for Unsatisfiability. SAT 2006: 283-296 - 2005
- [j8]Steven D. Prestwich, Stéphane Bressan:
A SAT approach to query optimization in mediator systems. Ann. Math. Artif. Intell. 43(1): 195-210 (2005) - [c24]Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Constraint-Based Preferential Optimization. AAAI 2005: 461-466 - [c23]Stefania Verachi, Steven D. Prestwich:
Bounds-Consistent Local Search. CP 2005: 870 - [c22]Steven D. Prestwich, Andrea Roli:
Symmetry Breaking and Local Search Spaces. CPAIOR 2005: 273-287 - [c21]Steven D. Prestwich:
Random Walk with Continuously Smoothed Variable Weights. SAT 2005: 203-215 - 2004
- [j7]Steven D. Prestwich:
Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems. Ann. Oper. Res. 130(1-4): 57-73 (2004) - [c20]Steven D. Prestwich:
Full Dynamic Substitutability by SAT Encoding. CP 2004: 512-526 - [c19]Brahim Hnich, Steven D. Prestwich, Evgeny Selensky:
Constraint-Based Approaches to the Covering Test Problem. CSCLP 2004: 172-186 - [c18]Steven D. Prestwich, Colin Quirke:
Local Search for Very Large SAT Problems. SAT 2004 - 2003
- [j6]Steven D. Prestwich:
Negative Effects of Modeling Techniques on Search Performance. Ann. Oper. Res. 118(1-4): 137-150 (2003) - [j5]Steven D. Prestwich:
SAT problems with chains of dependent variables. Discret. Appl. Math. 130(2): 329-350 (2003) - [c17]Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan:
A SAT-Based Approach to Multiple Sequence Alignment. CP 2003: 940-944 - [c16]Steven D. Prestwich:
Local Search on SAT-encoded Colouring Problems. SAT 2003: 105-119 - 2002
- [j4]Steven D. Prestwich:
Coloration Neighbourhood Search With Forward Checking. Ann. Math. Artif. Intell. 34(4): 327-340 (2002) - [j3]Steven D. Prestwich:
Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. Ann. Oper. Res. 115(1-4): 51-72 (2002) - [c15]Steven D. Prestwich:
A Local Search Algorithm for Balanced Incomplete Block Designs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 132-143 - 2000
- [j2]Steven D. Prestwich:
Some Pitfalls of Parallel Logic Programming. Comput. Artif. Intell. 19(4): 299-315 (2000) - [c14]Steven D. Prestwich:
A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. CP 2000: 337-352 - [c13]Steven D. Prestwich:
Stochastic Local search in Constrained Spaces. PACPL 2000: 27-40 - [c12]Steven D. Prestwich:
Parallel Software Performance Metrics as Continuous Functions of Event Times. MFCSIT 2000: 302
1990 – 1999
- 1999
- [j1]Steven D. Prestwich:
Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. Electron. Notes Discret. Math. 1: 61-73 (1999) - 1998
- [c11]Steven D. Prestwich:
A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers. FroCoS 1998: 275-294 - 1996
- [c10]Anthony J. Kusalik, Steven D. Prestwich:
Visualizing Parallel Logic Program Execution for Performance Tuning. JICSLP 1996: 498-512 - 1995
- [c9]Steven D. Prestwich, Shyam Mudambi:
Improved Branch and Bound in Constraint Logic Programming. CP 1995: 533-548 - 1994
- [c8]Steven D. Prestwich:
On Logic Program Parallelisation Strategies. CONPAR 1994: 289-300 - [c7]Steven D. Prestwich, Anthony J. Kusalik:
High-Level Visualisation of Parallel Logic Program Execution. PARLE 1994: 180-191 - 1993
- [c6]Anthony J. Kusalik, Steven D. Prestwich:
Programmer-Oriented Visualization of Parallel Logic Program Execution. LPE 1993: 69-74 - [c5]Steven D. Prestwich:
Online Partial Deduction of Large Programs. PEPM 1993: 111-118 - 1992
- [c4]Steven D. Prestwich:
An Unfold Rule for Full Prolog. LOPSTR 1992: 199-213 - [c3]Jesper Larsson Träff, Steven David Prestwich:
Meta-Programming for Reordering Literals in Deductive Databases. META 1992: 280-293 - 1991
- [c2]Kung-Kiu Lau, Steven D. Prestwich:
Synthesis of a Family of Recursive Sorting Procedures. ISLP 1991: 641-658 - 1990
- [c1]Kung-Kiu Lau, Steven D. Prestwich:
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ICLP 1990: 667-684
Coauthor Index
a service of 