Steven David Prestwich

Steve Prestwich

	2012
j22		Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven David Prestwich: Filtering algorithms for global chance constraints. Artif. Intell. 189: 69-94 (2012)
j21		Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven David Prestwich: Constraint programming for stochastic inventory systems under shortage cost. Annals OR 195(1): 49-71 (2012)
j20		Steven David Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim: Partial symmetry breaking by local search in the group. Constraints 17(2): 148-171 (2012)
	2011
c38		Ban Kawas, Marco Laumanns, Eleni Pratsini, Steve Prestwich: Risk-Averse Production Planning. ADT 2011: 108-120
c37		Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven David Prestwich: Finding (α, ϑ)-Solutions via Sampled SCSPs. IJCAI 2011: 2172-2177
	2010
j19		Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven David Prestwich, Semra Karacaer: Scheduling internal audit activities: a stochastic combinatorial optimization problem. J. Comb. Optim. 19(3): 325-346 (2010)
c36		Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich: Stochastic Constraint Programming by Neuroevolution with Filtering. CPAIOR 2010: 282-286
	2009
j18		S. Armagan Tarim, Brahim Hnich, Steven David Prestwich, Roberto Rossi: Finding reliable solutions: event-driven probabilistic constraint programming. Annals OR 171(1): 77-99 (2009)
j17		S. Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven David Prestwich: Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints. Constraints 14(2): 137-176 (2009)
j16		Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven David Prestwich, Cahit Guran: A note on Liu-Iwamura's dependent-chance programming. European Journal of Operational Research 198(3): 983-986 (2009)
c35		Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich: Neuroevolutionary Inventory Control in Multi-Echelon Systems. ADT 2009: 402-413
c34		Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven David Prestwich: Synthesizing Filtering Algorithms for Global Chance-Constraints. CP 2009: 439-453
c33		Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich: Evolving Parameterised Policies for Stochastic Constraint Programming. CP 2009: 684-691
c32		David Pereira, Inês Lynce, Steven David Prestwich: On Improving Local Search for Unsatisfiability. LSCS 2009: 41-53
p2		Steven David Prestwich: CNF Encodings. Handbook of Satisfiability 2009: 75-97
	2008
j15		Inês Lynce, João Marques-Silva, Steven David Prestwich: Boosting Haplotype Inference with Local Search. Constraints 13(1-2): 155-179 (2008)
j14		Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich: A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. Constraints 13(4): 490-517 (2008)
j13		Steven David Prestwich: Generalised graph colouring by a hybrid of local search and constraint programming. Discrete Applied Mathematics 156(2): 148-158 (2008)
c31		Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich: Cost-Based Domain Filtering for Stochastic Constraint Programming. CP 2008: 235-250
c30		Steven David Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich: A Cultural Algorithm for POMDPs from Stochastic Inventory Control. Hybrid Metaheuristics 2008: 16-28
c29		Steven David Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich: A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. PPSN 2008: 559-568
p1		Steven David Prestwich: The Relation Between Complete and Incomplete Search. Hybrid Metaheuristics 2008: 63-83
	2007
j12		Steven David Prestwich: Exploiting relaxation in local search for LABS. Annals OR 156(1): 129-141 (2007)
c28		Steven David Prestwich, Inês Lynce: Refutation by Randomised General Resolution. AAAI 2007: 1667-1670
c27		Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich: Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. CPAIOR 2007: 229-243
c26		Steven David Prestwich: Tuning Local Search by Average-Reward Reinforcement Learning. LION 2007: 192-205
c25		Steven David Prestwich: Variable Dependency in Local Search: Prevention Is Better Than Cure. SAT 2007: 107-120
	2006
j11		Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith: Constraint Models for the Covering Test Problem. Constraints 11(2-3): 199-219 (2006)
j10		Carmel Domshlak, Steven David 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)
c24		Armagan Tarim, Brahim Hnich, Steven David Prestwich: Event-Driven Probabilistic Constraint Programming. CPAIOR 2006: 197-211
c23		Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven David Prestwich: Cost-Based Filtering for Stochastic Inventory Control. CSCLP 2006: 169-183
c22		Steven David Prestwich, Inês Lynce: Local Search for Unsatisfiability. SAT 2006: 283-296
	2005
j9		Steven David Prestwich, Stéphane Bressan: A SAT approach to query optimization in mediator systems. Ann. Math. Artif. Intell. 43(1): 195-210 (2005)
c21		Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Constraint-Based Preferential Optimization. AAAI 2005: 461-466
c20		Stefania Verachi, Steven David Prestwich: Bounds-Consistent Local Search. CP 2005: 870
c19		Steven David Prestwich, Andrea Roli: Symmetry Breaking and Local Search Spaces. CPAIOR 2005: 273-287
c18		Steven David Prestwich: Random Walk with Continuously Smoothed Variable Weights. SAT 2005: 203-215
	2004
j8		Steven David Prestwich: Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems. Annals OR 130(1-4): 57-73 (2004)
c17		Steven David Prestwich: Full Dynamic Substitutability by SAT Encoding. CP 2004: 512-526
c16		Brahim Hnich, Steven David Prestwich, Evgeny Selensky: Constraint-Based Approaches to the Covering Test Problem. CSCLP 2004: 172-186
c15		Steven David Prestwich, Colin Quirke: Local Search for Very Large SAT Problems. SAT 2004
	2003
j7		Steven David Prestwich: Negative Effects of Modeling Techniques on Search Performance. Annals OR 118(1-4): 137-150 (2003)
j6		Steven David Prestwich: SAT problems with chains of dependent variables. Discrete Applied Mathematics 130(2): 329-350 (2003)
c14		Steven David Prestwich, Desmond G. Higgins, Orla O'Sullivan: A SAT-Based Approach to Multiple Sequence Alignment. CP 2003: 940-944
c13		Steven David Prestwich: Local Search on SAT-encoded Colouring Problems. SAT 2003: 105-119
	2002
j5		Steven David Prestwich: Coloration Neighbourhood Search With Forward Checking. Ann. Math. Artif. Intell. 34(4): 327-340 (2002)
j4		Steven David Prestwich: Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. Annals OR 115(1-4): 51-72 (2002)
c12		Steven David Prestwich: A Local Search Algorithm for Balanced Incomplete Block Designs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 132-143
	2000
j3		Steven David Prestwich: Some Pitfalls of Parallel Logic Programming. Computers and Artificial Intelligence 19(4) (2000)
j2		Steven David Prestwich: Parallel Software Performance Metrics as Continuous Functions of Event Times. Electr. Notes Theor. Comput. Sci. 40: 302 (2000)
c11		Steven David Prestwich: A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. CP 2000: 337-352
	1999
j1		Steven David Prestwich: Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. Electronic Notes in Discrete Mathematics 1: 61-73 (1999)
	1996
c10		Anthony J. Kusalik, Steven David Prestwich: Visualizing Parallel Logic Program Execution for Performance Tuning. JICSLP 1996: 498-512
	1995
c9		Steven David Prestwich, Shyam Mudambi: Improved Branch and Bound in Constraint Logic Programming. CP 1995: 533-548
	1994
c8		Steven David Prestwich: On Logic Program Parallelisation Strategies. CONPAR 1994: 289-300
c7		Steven David Prestwich, Anthony J. Kusalik: High-Level Visualisation of Parallel Logic Program Execution. PARLE 1994: 180-191
	1993
c6		Anthony J. Kusalik, Steven David Prestwich: Programmer-Oriented Visualization of Parallel Logic Program Execution. LPE 1993: 69-74
c5		Steven David Prestwich: Online Partial Deduction of Large Programs. PEPM 1993: 111-118
	1992
c4		Steven David 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 David Prestwich: Synthesis of a Family of Recursive Sorting Procedures. ISLP 1991: 641-658
	1990
c1		Kung-Kiu Lau, Steven David Prestwich: Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ICLP 1990: 667-684

Coauthor Index

Colors in the list of coauthors

Last update Mon May 20 05:36:38 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page