Steven David Prestwich

Steve Prestwich

	2012
61		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)
60		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
59		Ban Kawas, Marco Laumanns, Eleni Pratsini, Steve Prestwich: Risk-Averse Production Planning. ADT 2011: 108-120
58		Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven David Prestwich: Finding (α, ϑ)-Solutions via Sampled SCSPs. IJCAI 2011: 2172-2177
	2010
57		Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich: Stochastic Constraint Programming by Neuroevolution with Filtering. CPAIOR 2010: 282-286
56		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)
	2009
55		Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich: Neuroevolutionary Inventory Control in Multi-Echelon Systems. ADT 2009: 402-413
54		Brahim Hnich, Roberto Rossi, S. Armagan Tarim, Steven David Prestwich: Synthesizing Filtering Algorithms for Global Chance-Constraints. CP 2009: 439-453
53		Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich: Evolving Parameterised Policies for Stochastic Constraint Programming. CP 2009: 684-691
52		David Pereira, Inês Lynce, Steven David Prestwich: On Improving Local Search for Unsatisfiability LSCS 2009: 41-53
51		Steven David Prestwich: CNF Encodings. Handbook of Satisfiability 2009: 75-97
50		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)
49		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)
48		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)
	2008
47		Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich: Cost-Based Domain Filtering for Stochastic Constraint Programming. CP 2008: 235-250
46		Steven David Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich: A Cultural Algorithm for POMDPs from Stochastic Inventory Control. Hybrid Metaheuristics 2008: 16-28
45		Steven David Prestwich, Armagan Tarim, Roberto Rossi, Brahim Hnich: A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. PPSN 2008: 559-568
44		Steven David Prestwich: The Relation Between Complete and Incomplete Search. Hybrid Metaheuristics 2008: 63-83
43		Inês Lynce, João Marques-Silva, Steven David Prestwich: Boosting Haplotype Inference with Local Search. Constraints 13(1-2): 155-179 (2008)
42		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)
41		Steven David Prestwich: Generalised graph colouring by a hybrid of local search and constraint programming. Discrete Applied Mathematics 156(2): 148-158 (2008)
	2007
40		Steven David Prestwich, Inês Lynce: Refutation by Randomised General Resolution. AAAI 2007: 1667-1670
39		Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich: Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. CPAIOR 2007: 229-243
38		Steven David Prestwich: Tuning Local Search by Average-Reward Reinforcement Learning. LION 2007: 192-205
37		Steven David Prestwich: Variable Dependency in Local Search: Prevention Is Better Than Cure. SAT 2007: 107-120
36		Steven David Prestwich: Exploiting relaxation in local search for LABS. Annals OR 156(1): 129-141 (2007)
	2006
35		Armagan Tarim, Brahim Hnich, Steven David Prestwich: Event-Driven Probabilistic Constraint Programming. CPAIOR 2006: 197-211
34		Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven David Prestwich: Cost-Based Filtering for Stochastic Inventory Control. CSCLP 2006: 169-183
33		Steven David Prestwich, Inês Lynce: Local Search for Unsatisfiability. SAT 2006: 283-296
32		Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith: Constraint Models for the Covering Test Problem. Constraints 11(2-3): 199-219 (2006)
31		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)
	2005
30		Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Constraint-Based Preferential Optimization. AAAI 2005: 461-466
29		Stefania Verachi, Steven David Prestwich: Bounds-Consistent Local Search. CP 2005: 870
28		Steven David Prestwich, Andrea Roli: Symmetry Breaking and Local Search Spaces. CPAIOR 2005: 273-287
27		Steven David Prestwich: Random Walk with Continuously Smoothed Variable Weights. SAT 2005: 203-215
26		Steven David Prestwich, Stéphane Bressan: A SAT approach to query optimization in mediator systems. Ann. Math. Artif. Intell. 43(1): 195-210 (2005)
	2004
25		Steven David Prestwich: Full Dynamic Substitutability by SAT Encoding. CP 2004: 512-526
24		Brahim Hnich, Steven David Prestwich, Evgeny Selensky: Constraint-Based Approaches to the Covering Test Problem. CSCLP 2004: 172-186
23		Steven David Prestwich, Colin Quirke: Local Search for Very Large SAT Problems. SAT 2004
22		Steven David Prestwich: Incomplete Dynamic Backtracking for Linear Pseudo-Boolean Problems. Annals OR 130(1-4): 57-73 (2004)
	2003
21		Steven David Prestwich, Desmond G. Higgins, Orla O'Sullivan: A SAT-Based Approach to Multiple Sequence Alignment. CP 2003: 940-944
20		Steven David Prestwich: Local Search on SAT-encoded Colouring Problems. SAT 2003: 105-119
19		Steven David Prestwich: Negative Effects of Modeling Techniques on Search Performance. Annals OR 118(1-4): 137-150 (2003)
18		Steven David Prestwich: SAT problems with chains of dependent variables. Discrete Applied Mathematics 130(2): 329-350 (2003)
	2002
17		Steven David Prestwich: A Local Search Algorithm for Balanced Incomplete Block Designs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 132-143
16		Steven David Prestwich: Coloration Neighbourhood Search With Forward Checking. Ann. Math. Artif. Intell. 34(4): 327-340 (2002)
15		Steven David Prestwich: Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. Annals OR 115(1-4): 51-72 (2002)
	2000
14		Steven David Prestwich: A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. CP 2000: 337-352
13		Steven David Prestwich: Some Pitfalls of Parallel Logic Programming. Computers and Artificial Intelligence 19(4): (2000)
12		Steven David Prestwich: Parallel Software Performance Metrics as Continuous Functions of Event Times. Electr. Notes Theor. Comput. Sci. 40: 302 (2000)
	1999
11		Steven David Prestwich: Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. Electronic Notes in Discrete Mathematics 1: 61-73 (1999)
	1996
10		Anthony J. Kusalik, Steven David Prestwich: Visualizing Parallel Logic Program Execution for Performance Tuning. JICSLP 1996: 498-512
	1995
9		Steven David Prestwich, Shyam Mudambi: Improved Branch and Bound in Constraint Logic Programming. CP 1995: 533-548
	1994
8		Steven David Prestwich: On Logic Program Parallelisation Strategies. CONPAR 1994: 289-300
7		Steven David Prestwich, Anthony J. Kusalik: High-Level Visualisation of Parallel Logic Program Execution. PARLE 1994: 180-191
	1993
6		Anthony J. Kusalik, Steven David Prestwich: Programmer-Oriented Visualization of Parallel Logic Program Execution. LPE 1993: 69-74
5		Steven David Prestwich: Online Partial Deduction of Large Programs. PEPM 1993: 111-118
	1992
4		Steven David Prestwich: An Unfold Rule for Full Prolog. LOPSTR 1992: 199-213
3		Jesper Larsson Träff, Steven David Prestwich: Meta-Programming for Reordering Literals in Deductive Databases. META 1992: 280-293
	1991
2		Kung-Kiu Lau, Steven David Prestwich: Synthesis of a Family of Recursive Sorting Procedures. ISLP 1991: 641-658
	1990
1		Kung-Kiu Lau, Steven David Prestwich: Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ICLP 1990: 667-684

Coauthor Index

1	Stéphane Bressan	[26]
2	Carmel Domshlak	[31]
3	Cahit Guran	[48]
4	Desmond G. Higgins	[21]
5	Brahim Hnich	[24] [32] [34] [35] [39] [42] [45] [46] [47] [48] [49] [50] [53] [54] [55] [56] [57] [58] [60] [61]
6	Semra Karacaer	[56]
7	Ban Kawas	[59]
8	Anthony J. Kusalik	[6] [7] [10]
9	Kung-Kiu Lau	[1] [2]
10	Marco Laumanns	[59]
11	Inês Lynce	[33] [40] [43] [52]
12	Shyam Mudambi	[9]
13	Orla O'Sullivan	[21]
14	David Pereira	[52]
15	Eleni Pratsini	[59]
16	Colin Quirke	[23]
17	Andrea Roli	[28]
18	Francesca Rossi	[30] [31]
19	Roberto Rossi	[34] [39] [42] [45] [46] [47] [48] [49] [50] [53] [54] [55] [56] [57] [58] [60] [61]
20	Evgeny Selensky	[24] [32]
21	João P. Marques Silva (João Marques-Silva)	[43]
22	Helmut Simonis	[60]
23	Barbara M. Smith	[32]
24	Armagan Tarim (S. Armagan Tarim)	[34] [35] [39] [42] [45] [46] [47] [48] [49] [50] [53] [54] [55] [56] [57] [58] [60] [61]
25	Jesper Larsson Träff	[3]
26	Kristen Brent Venable (Kristen B. Venable)	[30] [31]
27	Stefania Verachi	[29]
28	Toby Walsh	[30] [31]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page