| 2008 |
|---|
| 40 | EE | Roberto Rossi,
Armagan Tarim,
Brahim Hnich,
Steven David Prestwich:
Cost-Based Domain Filtering for Stochastic Constraint Programming.
CP 2008: 235-250 |
| 39 | EE | Steven David Prestwich,
Armagan Tarim,
Roberto Rossi,
Brahim Hnich:
A Cultural Algorithm for POMDPs from Stochastic Inventory Control.
Hybrid Metaheuristics 2008: 16-28 |
| 38 | EE | Steven David Prestwich,
Armagan Tarim,
Roberto Rossi,
Brahim Hnich:
A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control.
PPSN 2008: 559-568 |
| 37 | EE | Inês Lynce,
João Marques-Silva,
Steven David Prestwich:
Boosting Haplotype Inference with Local Search.
Constraints 13(1-2): 155-179 (2008) |
| 36 | EE | 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) |
| 35 | EE | Steven David Prestwich:
Generalised graph colouring by a hybrid of local search and constraint programming.
Discrete Applied Mathematics 156(2): 148-158 (2008) |
| 2007 |
|---|
| 34 | | Steven David Prestwich,
Inês Lynce:
Refutation by Randomised General Resolution.
AAAI 2007: 1667-1670 |
| 33 | EE | Roberto Rossi,
Armagan Tarim,
Brahim Hnich,
Steven David Prestwich:
Replenishment Planning for Stochastic Inventory Systems with Shortage Cost.
CPAIOR 2007: 229-243 |
| 32 | EE | Steven David Prestwich:
Variable Dependency in Local Search: Prevention Is Better Than Cure.
SAT 2007: 107-120 |
| 2006 |
|---|
| 31 | EE | Armagan Tarim,
Brahim Hnich,
Steven David Prestwich:
Event-Driven Probabilistic Constraint Programming.
CPAIOR 2006: 197-211 |
| 30 | EE | Armagan Tarim,
Brahim Hnich,
Roberto Rossi,
Steven David Prestwich:
Cost-Based Filtering for Stochastic Inventory Control.
CSCLP 2006: 169-183 |
| 29 | EE | Steven David Prestwich,
Inês Lynce:
Local Search for Unsatisfiability.
SAT 2006: 283-296 |
| 28 | EE | Brahim Hnich,
Steven David Prestwich,
Evgeny Selensky,
Barbara M. Smith:
Constraint Models for the Covering Test Problem.
Constraints 11(2-3): 199-219 (2006) |
| 27 | EE | 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 |
|---|
| 26 | | Steven David Prestwich,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Constraint-Based Preferential Optimization.
AAAI 2005: 461-466 |
| 25 | EE | Stefania Verachi,
Steven David Prestwich:
Bounds-Consistent Local Search.
CP 2005: 870 |
| 24 | EE | Steven David Prestwich,
Andrea Roli:
Symmetry Breaking and Local Search Spaces.
CPAIOR 2005: 273-287 |
| 23 | EE | Steven David Prestwich:
Random Walk with Continuously Smoothed Variable Weights.
SAT 2005: 203-215 |
| 22 | EE | 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 |
|---|
| 21 | EE | Steven David Prestwich:
Full Dynamic Substitutability by SAT Encoding.
CP 2004: 512-526 |
| 20 | EE | Brahim Hnich,
Steven David Prestwich,
Evgeny Selensky:
Constraint-Based Approaches to the Covering Test Problem.
CSCLP 2004: 172-186 |
| 19 | EE | Steven David Prestwich,
Colin Quirke:
Local Search for Very Large SAT Problems.
SAT 2004 |
| 2003 |
|---|
| 18 | EE | Steven David Prestwich,
Desmond G. Higgins,
Orla O'Sullivan:
A SAT-Based Approach to Multiple Sequence Alignment.
CP 2003: 940-944 |
| 17 | EE | Steven David Prestwich:
Local Search on SAT-encoded Colouring Problems.
SAT 2003: 105-119 |
| 16 | EE | Steven David Prestwich:
SAT problems with chains of dependent variables.
Discrete Applied Mathematics 130(2): 329-350 (2003) |
| 2002 |
|---|
| 15 | EE | Steven David Prestwich:
A Local Search Algorithm for Balanced Incomplete Block Designs.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 132-143 |
| 14 | | Steven David Prestwich:
Coloration Neighbourhood Search With Forward Checking.
Ann. Math. Artif. Intell. 34(4): 327-340 (2002) |
| 2000 |
|---|
| 13 | EE | Steven David Prestwich:
A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.
CP 2000: 337-352 |
| 12 | | Steven David Prestwich:
Some Pitfalls of Parallel Logic Programming.
Computers and Artificial Intelligence 19(4): (2000) |
| 11 | EE | Steven David Prestwich:
Parallel Software Performance Metrics as Continuous Functions of Event Times.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 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 |
