The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steven David Prestwich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Steven David Prestwich
    On Logic Program Parallelisation Strategies. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:289-300 [Conf]
  4. 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]
  5. Steven David Prestwich
    Full Dynamic Substitutability by SAT Encoding. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:512-526 [Conf]
  6. 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]
  7. Steven David Prestwich, Shyam Mudambi
    Improved Branch and Bound in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:533-548 [Conf]
  8. Stefania Verachi, Steven David Prestwich
    Bounds-Consistent Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:870- [Conf]
  9. Armagan Tarim, Brahim Hnich, Steven David Prestwich
    Event-Driven Probabilistic Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2006, pp:197-211 [Conf]
  10. Steven David Prestwich, Andrea Roli
    Symmetry Breaking and Local Search Spaces. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:273-287 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Steven David Prestwich
    An Unfold Rule for Full Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:199-213 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Steven David Prestwich
    Online Partial Deduction of Large Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:111-118 [Conf]
  19. Steven David Prestwich
    Local Search on SAT-encoded Colouring Problems. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:105-119 [Conf]
  20. Steven David Prestwich
    Random Walk with Continuously Smoothed Variable Weights. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:203-215 [Conf]
  21. Steven David Prestwich, Inês Lynce
    Local Search for Unsatisfiability. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:283-296 [Conf]
  22. Steven David Prestwich, Colin Quirke
    Local Search for Very Large SAT Problems. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Steven David Prestwich, Inês Lynce
    Refutation by Randomised General Resolution. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1667-1670 [Conf]
  32. 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]
  33. 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]
  34. Steven David Prestwich
    Variable Dependency in Local Search: Prevention Is Better Than Cure. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:107-120 [Conf]

  35. Cost-Based Domain Filtering for Stochastic Constraint Programming. [Citation Graph (, )][DBLP]


  36. Evolving Parameterised Policies for Stochastic Constraint Programming. [Citation Graph (, )][DBLP]


  37. Synthesizing Filtering Algorithms for Global Chance-Constraints. [Citation Graph (, )][DBLP]


  38. Stochastic Constraint Programming by Neuroevolution with Filtering. [Citation Graph (, )][DBLP]


  39. A Cultural Algorithm for POMDPs from Stochastic Inventory Control. [Citation Graph (, )][DBLP]


  40. A Steady-State Genetic Algorithm with Resampling for Noisy Inventory Control. [Citation Graph (, )][DBLP]


  41. Tuning Local Search by Average-Reward Reinforcement Learning. [Citation Graph (, )][DBLP]


  42. Neuroevolutionary Inventory Control in Multi-Echelon Systems. [Citation Graph (, )][DBLP]


  43. Boosting Haplotype Inference with Local Search. [Citation Graph (, )][DBLP]


  44. A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. [Citation Graph (, )][DBLP]


  45. Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints. [Citation Graph (, )][DBLP]


  46. On Improving Local Search for Unsatisfiability [Citation Graph (, )][DBLP]


  47. Generalised graph colouring by a hybrid of local search and constraint programming. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002