Patrick Prosser

Most of the publications below are oldish, and more recent publications are available electronically from
  • Patrick's Glasgow DCS publications web site



      1. P Burke and P. Prosser,``A Distributed Asynchronous System for Predictive and Reactive Scheduling,'' The International Journal for Artificial Intelligence in Engineering, 6(3), 106-124, July 1991
      2. P. Prosser, C Conway, C Muller ``A constraint maintenance system for the distributed resource allocation problem'', Intelligent Systems Engineering, 1(1), 76-83, Autumn 1992
      3. P. Prosser ``Hybrid algorithms for the constraint satisfaction problem'' Computational Intelligence, 9(3), 268-299, August 1993
      4. P. Prosser, and J.T. Buchanan, ``Intelligent Scheduling: past, present, and future'', Intelligent Systems Engineering, 3(2), 67-78, Summer 1994
      5. C. Brind, C. Muller, and P. Prosser, ``Stochastic Techniques for Resource Management'', the BT Technology Journal, 13(1) (1995) 55-64
      6. P. Prosser ``An empirical study of the phase transition in binary constraint satisfaction problems'', Artificial Intelligence 81 (1996) 81-109
      7. B. De Backer, V. Furnon, P.J. Kilby, P. Prosser, P. Shaw, ``Solving Vehicle Routing Problems using Constraint Programming and Meta Heuristics'', Journal of Heuristics, 6(4), 501-525, (2000)
      8. P.J. Kilby, P. Prosser, P. Shaw, ``A comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints'', Journal of Constraints 5(4) 389-414 (2000)
      9. I.P. Gent, E. MacIntyre, P. Prosser, B.M. Smith and T. Walsh ``Random Constraint Satisfaction: flaws and structures'', Journal of Constraints 6 (4), pages 345-372, October 2001.
      1. P. Prosser ``A hybrid genetic algorithm for pallet loading'' Proceedings European Conference on Artificial Intelligence (ECAI-88), 159-164, Munich, August 1988
      2. P. Prosser ``A reactive scheduling agent'', IJCAI-89, Proceedings of eleventh joint international conference on Artificial Intelligence, August 1989, Detroit Mi, 1004-1009
      3. P. Burke and P. Prosser, ``Simulating Distributed Decision Making Under Constraints,'' Proceeding of Summer Conference on Computer Simulation, Calgary, 1990
      4. P. Burke and P. Prosser ``Distributed Asynchronous Scheduling'', In Applications of Artificial Intelligence in Engineering V, Vol 2: Manufacture and Planning, 503-522 Proceedings of the 5th International Conference, Boston, USA, 1990, Editor: G. Rzevski
      5. J.T. Buchanan and P. Prosser ``Resource Allocation - A Distributed Approach'', in Advanced Software Technology for Air Transport, ed R Behrendt and L Bertsch, AIT Press, 37-48, 1992
      6. P. Prosser, C. Conway, C. Muller, ``A distributed constraint maintenance system'' AVIGNON-92, 221-231, 1992
      7. P. Prosser, ``BM+BJ=BMJ'', Proceedings CAIA-93 (Conf Artif Intell Appln) Orlando, 257-262, Florida, March 1-5, 1993
      8. P. Prosser ``Domain filtering can degrade intelligent backjumping search'' Proceedings IJCAI-93 (Int Joint Conf Artif Intell), 262-267, Chambery, France, 1993
      9. J.T. Buchanan and P. Prosser ``A Distributed Dynamic Scheduling Architecture Applied to an Aluminium Plate Plant'', in Proc of Production Planning and Control in the Metals Industry, March 1993
      10. P. Prosser, ``Binary constraint satisfaction problems: some are harder than others'', Proceedings ECAI-94 (European Conf A I), 95-99, Amsterdam, August 1994
      11. I.P.Gent, E. MacIntyre, P. Prosser, T. Walsh ``Scaling effects in the CSP phase transition'' in Proceedings of the first International Conference on Principles and Practices of Constraint Programming, CP95, pages 70-87, 1995
      12. I.P. Gent, E. MacIntyre, P. Prosser, B.M. Smith, T. Walsh ``An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem'' Proceedings CP96, pages 179-193, 1996
      13. I.P. Gent, E. MacIntyre, P. Prosser, T. Walsh ``The constrainedness of search'' in Proceedings AAAI-96, pages 246-252, 1996
      14. I.P. Gent, E. MacIntyre, P. Prosser, T. Walsh, ``The scaling of search cost'' in Proceedings AAAI-97, pages 315-320, 1997
      15. I.P. Gent, E. MacIntyre, P. Prosser, P. Shaw, T. Walsh ``The constrainedness of arc-consistency'' in Proceedings CP97, pages 327-340, 1997
      16. P.J. Kilby, P. Prosser and P. Shaw, ``Guided Local Search for the Vehicle Routing Problem with time windows'', in Meta Heuristics: advances and trends in local search paradigms for optimisation, pages 473-486, Kluwer Academic Publishers, 1999 pages 89-90
      17. P.J. Kilby, P. Prosser, and P. Shaw ``Generating Solutions for Real-World Vehicle Routing Problems'' in Proceedings INFORMS 1998
      18. E. MacIntyre, P. Prosser, B.M. Smith, and T. Walsh ``Random Constraint Satisfaction: theory meets practice'', Proceedings CP98, pages 325-339, 1998
      19. P. Prosser ``The Dynamics of Dynamic Variable Ordering Heuristics'' Proceedings CP98, pages 17-23, 1998
      20. M. Bouzoubaa, G. Hasle, P. Prosser ``The GGT: a generic toolkit for VRP applications and modelling". proceedings of the International Conference of Practical Applications of Constraint Logic Programming, PACLP99, 1999
      21. I.P. Gent, H. Hoos, P. Prosser, T. Walsh ``Morphing: combining structure and randomness" to appear in proceedings American Association of Artificial Intelligence, AAAI99, 1999
      22. Patrick Prosser, Kostas Stergiou and Toby Walsh, ``Singleton Consistencies'', Proceedings of CP-2000, pages 353-368, Springer-Verlag LNCS-1894, 2000.
      23. I. P. Gent, R.W. Irving, D.F. Manlove, P. Prosser, B.M. Smith ``A Constraint Programming Approach to the Stable Marriage Problem'', to appear in CP2001, November 2001
      Books (invited chapters)
      1. P. Prosser, ``Forward checking with backmarking'', in M. Meyer (ed); Constraint Processing, LNCS 923, Springer-Verlag, Heidelberg, ISBN 3-540-59479-5, pages 185-204, 1995
      2. P. Burke and P. Prosser, ``Distributed Asynchronous Scheduling'' in Intelligent Scheduling, editors M.Zweben and M.S.Fox, published by Morgan Kaufmann, ISBN 1-55860-260-7 1994
      3. P. Prosser, ``Scheduling as a constraint satisfaction problem: theory and practice'' in Scheduling of Production Processes, J. Dorn and K.A. Froeschl (eds), Ellis Horwood, 22-30, ISBN 0-13-075136-7 1993.
      4. P. Prosser, ``Data Integrity and Security'' in Database Management Systems, editor R.A. Frost, Granada Publishing Ltd, 199-220, ISBN 0-246-11974-8, 1984
      1. J.T. Buchanan, P Burke, J Costello, P Prosser, ``An Intelligent knowledge-based scheduler for heavy manufacturing.'' Colloquium on Artificial Intelligence in Planning and Production Control, pp 61-63, The Institution of Electrical Engineers, Computing and Control Division, Savoy Place, London, 1988.
      2. P. Prosser ``Reactive Factory Scheduling as a Dynamic Constraint Satisfaction Problem,'' Report of the 8th Workshop of The Planning Special Interest Group (PLANSIG), Nottingham, 1988.
      3. P. Burke and P. Prosser, ``Distributed Scheduling: An Approach to Executional Uncertainty,'' Report of the 9th Workshop of The Planning Special Interest Group (PLANSIG), Nottingham 1990.
      4. P. Prosser, ``Hybrid Algorithms for the Constraint Satisfaction Problem: BMJ and BM-GBJ'' Proceedings of the 10th UK Planning SIG, April 1991
      5. P. Prosser, ``A Hybrid Algorithm for the Constraint Satisfaction Problem: EFC-GBJ, Checking Forwards while Jumping Back'', Proceedings of the 10th UK Planning SIG, April 1991
      6. P. Prosser, ``The future of scheduling - DAI?'' IEE Colloquium on Advanced software technologies for scheduling, April 1993
      7. P. Prosser ``Predicting really hard scheduling problems'', IFIP WG5.7 SIG on Knowledge-based Reactive Scheduling, 1994
      8. P. Prosser ``Phase transitions: a brief history of the phenomenon in binary constraint satisfaction problems'' AISB-95 workshop on Automated Reasoning, Bridging the gap between theory and practice. April 1995
      9. B. DeBaker, V. Furnon, P.J. Kilby, P. Prosser, and P. Shaw ``Local Search in Constraint Programming: Application to the Vehicle Routing Problem'' in Proceedings of CP97 Workshop on Industrial Constraint-Directed Scheduling, pages 1-15
      Technical Reports
      1. J.C. Hendry and P. Prosser, ``The clamping force at die-container interface for the forward extrusion of rod'' NEL Report 523, DTI, September 1972
      2. P. Prosser, ``Performance Tests on a Reactive Scheduling Agent,'' Technical Report AISL-45, Department of Computer Science, University of Strathclyde, January 1990.
      3. P. Prosser, ``Backjumping Revisited'', Research Report AISL-47-92, August 1992
      4. P. Prosser ``MAC-CBJ: maintaining arc consistency with conflict directed backjumping'' Research Report 95/177, March 1995
      5. I.P. Gent, P. Prosser ``The 50\% point in the constraint satisfaction problem'' Research Report 95/180, May 1995
      6. P. Prosser, P. Shaw ``Study of greedy search with multiple improvement heuristics for vehicle routing problems'', Research Report 96/201
      7. I.P. Gent, S.A. Grant, E. MacIntyre, P. Prosser, B.M. Smith, T. Walsh, ``How Not To Do It'', Research Report 97.27, School of Computer Studies, University of Leeds, 1997
      8. P. Prosser and P. Shaw ``Study of greedy search with multiple improvement heuristics for vehicle routing problems'', Research Report 96/201, University of Strathclyde, December 1996.
      9. P. Kilby, P. Prosser, and P. Shaw ``Implementation of LNS for Constrained VRPs'' APES Technical Report APES-01-1998, April 1998
      10. P. Kilby, P. Prosser, and P. Shaw ``Dynamic VRPs: A Study of Scenarios'', APES Technical Report APES-06-1998, September 1998
      Non-Professional Publications
      1. P. Prosser, ``Observations on tetrahedral kites'' The Kiteflier, Newsletter of the Kite Society of Great Britain, Issue 54, 20-24, January 1993
      2. P. Prosser ``Beobachtungen zu tetraedischen Drachen'' Drachen Magazine, Summer 1993

Copyright © Patrick Prosser 2000.