Search the dblp DataBase
Steven David Prestwich :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Steven David Prestwich , Francesca Rossi , Kristen Brent Venable , Toby Walsh Constraint-Based Preferential Optimization. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:461-466 [Conf ] Steven David Prestwich A Local Search Algorithm for Balanced Incomplete Block Designs. [Citation Graph (0, 0)][DBLP ] International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:132-143 [Conf ] Steven David Prestwich On Logic Program Parallelisation Strategies. [Citation Graph (0, 0)][DBLP ] CONPAR, 1994, pp:289-300 [Conf ] Steven David Prestwich A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:337-352 [Conf ] Steven David Prestwich Full Dynamic Substitutability by SAT Encoding. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:512-526 [Conf ] Steven David Prestwich , Desmond G. Higgins , Orla O'Sullivan A SAT-Based Approach to Multiple Sequence Alignment. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:940-944 [Conf ] Steven David Prestwich , Shyam Mudambi Improved Branch and Bound in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:533-548 [Conf ] Stefania Verachi , Steven David Prestwich Bounds-Consistent Local Search. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:870- [Conf ] Armagan Tarim , Brahim Hnich , Steven David Prestwich Event-Driven Probabilistic Constraint Programming. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2006, pp:197-211 [Conf ] Steven David Prestwich , Andrea Roli Symmetry Breaking and Local Search Spaces. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2005, pp:273-287 [Conf ] Brahim Hnich , Steven David Prestwich , Evgeny Selensky Constraint-Based Approaches to the Covering Test Problem. [Citation Graph (0, 0)][DBLP ] CSCLP, 2004, pp:172-186 [Conf ] Anthony J. Kusalik , Steven David Prestwich Visualizing Parallel Logic Program Execution for Performance Tuning. [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:498-512 [Conf ] Kung-Kiu Lau , Steven David Prestwich Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. [Citation Graph (0, 0)][DBLP ] ICLP, 1990, pp:667-684 [Conf ] Steven David Prestwich An Unfold Rule for Full Prolog. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1992, pp:199-213 [Conf ] Anthony J. Kusalik , Steven David Prestwich Programmer-Oriented Visualization of Parallel Logic Program Execution. [Citation Graph (0, 0)][DBLP ] LPE, 1993, pp:69-74 [Conf ] Jesper Larsson Träff , Steven David Prestwich Meta-Programming for Reordering Literals in Deductive Databases. [Citation Graph (0, 0)][DBLP ] META, 1992, pp:280-293 [Conf ] Steven David Prestwich , Anthony J. Kusalik High-Level Visualisation of Parallel Logic Program Execution. [Citation Graph (0, 0)][DBLP ] PARLE, 1994, pp:180-191 [Conf ] Steven David Prestwich Online Partial Deduction of Large Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1993, pp:111-118 [Conf ] Steven David Prestwich Local Search on SAT-encoded Colouring Problems. [Citation Graph (0, 0)][DBLP ] SAT, 2003, pp:105-119 [Conf ] Steven David Prestwich Random Walk with Continuously Smoothed Variable Weights. [Citation Graph (0, 0)][DBLP ] SAT, 2005, pp:203-215 [Conf ] Steven David Prestwich , Inês Lynce Local Search for Unsatisfiability. [Citation Graph (0, 0)][DBLP ] SAT, 2006, pp:283-296 [Conf ] Steven David Prestwich , Colin Quirke Local Search for Very Large SAT Problems. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Kung-Kiu Lau , Steven David Prestwich Synthesis of a Family of Recursive Sorting Procedures. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:641-658 [Conf ] Steven David Prestwich Coloration Neighbourhood Search With Forward Checking. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2002, v:34, n:4, pp:327-340 [Journal ] Steven David Prestwich , Stéphane Bressan A SAT approach to query optimization in mediator systems. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2005, v:43, n:1, pp:195-210 [Journal ] Steven David Prestwich Some Pitfalls of Parallel Logic Programming. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 2000, v:19, n:4, pp:- [Journal ] Brahim Hnich , Steven David Prestwich , Evgeny Selensky , Barbara M. Smith Constraint Models for the Covering Test Problem. [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:2-3, pp:199-219 [Journal ] Steven David Prestwich SAT problems with chains of dependent variables. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 2003, v:130, n:2, pp:329-350 [Journal ] Steven David Prestwich Parallel Software Performance Metrics as Continuous Functions of Event Times. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Carmel Domshlak , Steven David Prestwich , Francesca Rossi , Kristen Brent Venable , Toby Walsh Hard and soft constraints for reasoning about qualitative conditional preferences. [Citation Graph (0, 0)][DBLP ] J. Heuristics, 2006, v:12, n:4-5, pp:263-285 [Journal ] Steven David Prestwich , Inês Lynce Refutation by Randomised General Resolution. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:1667-1670 [Conf ] Roberto Rossi , Armagan Tarim , Brahim Hnich , Steven David Prestwich Replenishment Planning for Stochastic Inventory Systems with Shortage Cost. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2007, pp:229-243 [Conf ] Armagan Tarim , Brahim Hnich , Roberto Rossi , Steven David Prestwich Cost-Based Filtering for Stochastic Inventory Control. [Citation Graph (0, 0)][DBLP ] CSCLP, 2006, pp:169-183 [Conf ] Steven David Prestwich Variable Dependency in Local Search: Prevention Is Better Than Cure. [Citation Graph (0, 0)][DBLP ] SAT, 2007, pp:107-120 [Conf ] Cost-Based Domain Filtering for Stochastic Constraint Programming. [Citation Graph (, )][DBLP ] Evolving Parameterised Policies for Stochastic Constraint Programming. [Citation Graph (, )][DBLP ] Synthesizing Filtering Algorithms for Global Chance-Constraints. [Citation Graph (, )][DBLP ] Stochastic Constraint Programming by Neuroevolution with Filtering. [Citation Graph (, )][DBLP ] A Cultural Algorithm for POMDPs from Stochastic Inventory Control. [Citation Graph (, )][DBLP ] A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. [Citation Graph (, )][DBLP ] Tuning Local Search by Average-Reward Reinforcement Learning. [Citation Graph (, )][DBLP ] Neuroevolutionary Inventory Control in Multi-Echelon Systems. [Citation Graph (, )][DBLP ] Boosting Haplotype Inference with Local Search. [Citation Graph (, )][DBLP ] A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. [Citation Graph (, )][DBLP ] Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints. [Citation Graph (, )][DBLP ] On Improving Local Search for Unsatisfiability [Citation Graph (, )][DBLP ] Generalised graph colouring by a hybrid of local search and constraint programming. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.007secs