UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Patrick Prosser' ordered by Year. (74)

2012 2010 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1989 1988

2012

Exact Algorithms for Maximum Clique: a computational study
Prosser,P. SoCS Technical Report Series pp 1-39 Dept of Computing Science, University of Glasgow [More Details].

Distributing an Exact Algorithm for Maximum Clique: maximising the costup
McCreesh,C. Prosser,P. SoCS Technical Report Series pp 1-13 Dept of Computing Science, University of Glasgow [More Details].

2010

Triangle Packing with Constraint Programming
Prosser,P. 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) pp 1-15 [More Details].

Diamond-free Degree Sequences
Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details].

2008

A Hardware Relaxation Paradigm for Solving NP-Hard Problems
Cockshott,W.P. Koltes,A. O'Donnell,J.T. Prosser,P. Vanderbauwhede,W. Visions of Computer Science, BCS International Academic Research Conference pp 1-12 [More Details].

LDS : testing the hypothesis
Unsworth,C. Prosser,P. DCS Technical Report Series pp 5 Dept of Computing Science, University of Glasgow [More Details].

The Ultrametric Constraint and its Application to Phylogenetics
Moore,N.C.A. Prosser,P. Journal of Artificial Intelligence Research, Volume 32 pp 901-938 AAAI Press [More Details].

2007

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. Proceedings of CP-AI-OR '07: the Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 4510 of Lecture Notes in Computer Science pp 155-170 Springer [More Details].

2006

Rooted Tree and Spanning Tree Constraints
Unsworth,C. Prosser,P. 17th ECAI Workshop on Modelling and Solving Problems with Constraints [More Details].

A Connectivity Constraint using Bridges
Prosser,P. Unsworth,C. 17th European Conference on Artificial Intelligence (ECAI 2006) [More Details].

A case study of mutual scheduling-routing reformulation
Beck,J.C.B. Prosser,P. Selensky,E. Journal of Scheduling (volume 9) pp 469-491 Springer [More Details].

Maintaining Singleton Arc Consistency
Lecoutre,C. Prosser,P. Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation (CPAI'2006) pp 47-61 [More Details].

Supertree construction with constraint programming: recent progress and new challenges
Prosser,P. WCB06 - Workshop on Constraint Based Methods for Bioinformatics pp 75-82 [More Details].

2005

A Specialised Binary Constraint for the Stable Marriage Problem
Unsworth,C. Prosser,P. Symposium on Abstraction, Reformulation and Approximation (SARA 2005) LNCS, Springer [More Details].

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. In Proceedings of the Fourth Workshop on Modelling and Reformulating Constraint Satisfaction Problems, held at the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) pp 28-43 [More Details].

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Tech Report [More Details].

An n-ary Constraint for the Stable Marriage Problem
Unsworth,C. Prosser,P. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details].

Exploring the use of constraint programming for enforcing connectivity during graph generation
Brown,K.N. Prosser,P. Beck,J.C. Wu,C.W. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details].

A Constraint model and a reduction operator for the minimising open stacks problem
Miller,A. Prosser,P. Unsworth,C. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05 pp 44-50 [More Details].

2004

Solving the Rehearsal Problem with Planning and with Model Checking
Gregory,P.
Miller,A. Prosser,P. 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints pp 157--171 [More Details].

Trying Again to Fail-First
Beck,J.C. Prosser,P. Wallace,R.J. CSCLP 2004: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, EPFL, Lausanne, Switzerland (LNAI 3419) pp 41-55 LNCS, Springer [More Details].

Failing First: An Update
Beck,J.C. Prosser,P. Wallace,R.J. 16th European Conference on Artificial Intelligence [More Details].

Variable Ordering Heuristics Show Promise
Beck,J.C. Prosser,P. Wallace,R.J. Principles and Practice of Constraint Programming - CP2004, 10th International Conference, Toronto, LNCS 3258 pp 711-715 LNCS, Springer [More Details].

2003

A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
Prosser,P. Selensky,E. Recent Advances in Conatraints. Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, LNAI 2627 pp 121- 131 LNCS, Springer [More Details].

Vehicle Routing and Job Shop Scheduling: What's the difference?
Beck,J.C. Prosser,P. Selensky,E. 13th International Conference on Automated Planning and Scheduling (ICAPS03) Morgan Kaufmann [More Details].

Supertree Construction with Constraint Programming
Gent,I.P. Prosser,P. Smith,B.M. Wei,W. Principles and Practice of Constraint Programming pp 837-841 Springer [More Details].

Towards understanding variable ordering heuristics for constraint satisfaction problems
Beck,J.C. Prosser,P. Wallace,R.J. Proceedings of the Fourteenth Irish Artificial Intelligence and Cognitive Science Conference (AICS03) pp 11 - 16 [More Details].

2002

An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists
Gent,I.P.
Prosser,P. Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002) Academic Press [More Details].

On the Reformulation of Vehicle Routing Problems and Scheduling Problems
Beck,J.C. Prosser,P. Selensky,E. Proceedings of SARA 2002, Symposium on Abstraction, Reformulation and Approximation pp 282 - 289 LNCS, Springer [More Details].

A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
Prosser,P. Selensky,E. ERCIM workshop on Constraint Solving and Constraint Logic Programming [More Details].

A Student Advisory System: a configuration problem for constraint programming
McDonald,K. Prosser,P. ECAI 2002 Workshop W4 on Configuration [More Details].

Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problem
Beck,J.C. Prosser,P. Selensky,S. Proceedings of ICGT 2002, 1st International Conference on Graph Transformations pp 60-74 LNCS, Springer [More Details].

SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists
Gent,I.P. Prosser,P. SAT 2002 The Fifth International Symposium on the Theory and Application of Satisfiability Testing Academic Press [More Details].

A 0/1 encoding of the GACLex constraint for pairs of vectors
Gent,I.P. Prosser,P. Smith,B.M. ECAI 2002 workshop W9: Modelling and Solving Problems with Constraints University of Glasgow [More Details].

2001

Random Constraint Satisfaction: flaws and structures
Gent,I.P. MacIntyre,E.
Prosser,P. Smith,B.M. Walsh,T. Journal of Constraints 6(4) pp 345-372 Kluwer [More Details].

A Constraint Programming Approach to the Stable Marriage Problem
Gent,I.P. Irving,R.W. Manlove,D.F. Prosser,P. Smith,B.M. Proceedings of CP 2001: The 7th International Conference on Principles and Practice of Constraint Programming, volume 2239 of Lecture Notes in Computer Science pp 225-239 Springer Verlag [More Details].

2000

Singleton Consistencies
Prosser,P. Stergiou,K. Walsh,T. Proceedings of CP 2000: the 6th International Conference on Principles and Practice of Constraint Programming, (lecture Notes in Computer Science) pp 353-368 Springer [More Details].

A comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints
Kilby,P.J. Shaw,P. Prosser,P. Journal of Constraints, Volume 5 No 4. pp 389-414 Kluwer [More Details].

Solving Vehicle Routing Problems using Constraint Programming and Meta Heuristics
De Baker,B. Furnon,V. Kilby,P.J. Prosser,P. Shaw,P. Journal of Heuristics 6(4) pp 501-524 Kluwer [More Details].

1999

Guided Local Search for the Vehicle Routing Problem with time windows
Kilby,P.J.
Prosser,P. Shaw,P. In Meta Heurstics: advances and trends in local search paradigms for optimisation pp 473-486 Kluwer [More Details].

Thinking on your feet in undergraduate computer science: a constructivist approach to developing and assessing critical thinking
Gent,I.P. Johnston,B. Prosser,P. Journal of Teaching in Higher Education (Volume 4, No. 4) pp 511-522 [More Details].

Morphing: combining structure and randomness
Gent,I.P. Hoos,H. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI99 MIT Press [More Details].

The Constrainedness of Constraint Satisfaction
Gent,I.P. Prosser,P. Walsh,T. The Tropical Conference on NP-hardness and Phase Transactions, ICTP, Trieste [More Details].

The GGT: a generic toolkit for VRP applications and modelling
Bouzoubaa,M. Hasle,G. Prosser,P. Proceedings of the International Conference of Practical Applications of Constraint Logic Programming, PACLP99 [More Details].

1998

Generating Solutions for Real-World Vehicle Routing Problems
Kilby,P.J.
Prosser,P. Shaw,P. INFORMS [More Details].

Random Constraint Satisfaction: theory meets practice
Macintyre,E. Prosser,P. Smith,B.M. Walsh,T. Proceedings ofPrinciples and Practices of Constraint Programming, CP98, LNCS 1520 pp 325-339 Springer [More Details].

The Dynamics of Dynamic Variable Ordering Heuristics
Prosser,P. Proceedings of Principles and Practice of Constraint Programming - CP98, LNCS1520 pp 17-23 Springer [More Details].

Dynamic VRPs: A Study of Scenarios
Kilby,P. Prosser,P. Shaw,P. Technical Report APES-06-1998 [More Details].

Random Constraint Satisfaction: Theory Meets Practice
MacIntyre,E. Prosser,P. Smith,B.M. Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 1998. Proceedings pp 325-339 LNCS, Springer [More Details].

1997

Local search in constraint programming: Application to the Vehicle Routing Problem
DeBacker,B. Furnon,V. Kilby,P.
Prosser,P. Shaw,P. Proceedings of the CP-97 Workshop on Industrial Constraint-based Scheduling [More Details].

The scaling of search cost
Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI-97 pp 315-320 MIT Press [More Details].

The constrainedness of arc-consistency
Gent,I.P. Macintyre,E. Prosser,P. Shaw,P. Walsh,T. Proceeding of Principles and Prctices of Constraint Programming - CP97, LNCS 1330 pp 327-340 Springer [More Details].

1996

An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem
Gent,I.P. Macintyre,E.
Prosser,P. Smith,B.M. Walsh,T. Proceedings of Principles and Practices of Constraint Programming - CP96, LNCS 1118 pp 179-193 Springer [More Details].

The constrainedness of search
Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI-96 pp 246-252 MIT Press [More Details].

The tetrahedral principle in kite design, revisited
Prosser,P. The Kiteflier, the Kite Society of Great Britain quaterly publication [More Details].

An empirical study of the phase transition in binary constraint satisfaction problems
Prosser,P. Artificial Intelligence, Volume 81 pp 81-109 Elsevier Science [More Details].

1995

MAC-CBJ: maintaining arc consistency with conflict-directed backjumping
Prosser,P. Technical Report 95/177 [More Details].

Stochastic techniques for resource management
Brind,C. Muller,C. Prosser,P. BT technology journal pp 55-63 [More Details].

Scaling Effects in the CSP Phase Transition
Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of Principles and Practices of Constraint Programming - CP95, LNCS 976 pp 70-87 Springer [More Details].

1994

The Distributed Asynchronous Scheduler
Burke,P.
Prosser,P. Intelligent Scheduling (editors Monte Zweben and Mark S. Fox) pp 309-340 Morgan Kaufmann [More Details].

Binary constraint satisfaction problems: Some are harder than others
Prosser,P. European Conference on Artificial Intelligence (ECAI) pp 95-99 [More Details].

Intelligent scheduling: Past, present and future
Prosser,P. Buchanan,I. Intelligent Systems Engineering pp 67-78 [More Details].

1993

Distributed genetic algorithms for resource allocation
Muller,C. Magill,E.H.
Prosser,P. Smith,D.G. Scheduling of production processes pp 70-78 Ellis Horwood [More Details].

BM + BJ = BMJ
Prosser,P. 9th Conference on Artificial Intelligence for Applications pp 257-262 [More Details].

Scheduling as a constraint satisfaction problem: theory and practice
Prosser,P. Scheduling of production processes pp 22-30 Ellis Horwood [More Details].

Forward Checking with Backmarking
Prosser,P. Technical Report AISL-48-93 [More Details].

Domain filtering can degrade intelligent backtracking search
Prosser,P. 13th International Joint Conference on Artificial Intelligence Morgan Kaufmann [More Details].

Hybrid Algorithms for the Constraint Satisfaction Problem
Prosser,P. Computational Intelligence, Volume 9, Number 3 pp 268-299 [More Details].

1992

A constraint maintenance system for the distributed resource allocation problem
Prosser,P. Conway,C. Muller,C. Intelligent Systems Engineering pp 76-83 [More Details].

A distributed constraint maintenance system
Prosser,P. Conway,C. Muller,C. Proceedings of the 12 International Conference on Artificial Intelligence pp 221-231 [More Details].

1991

A distributed asynchronous system for predictive and reactive scheduling.
Burke,P.
Prosser,P. Artificial Intelligence in Engineering. Vol. 6, no. pp 106-124 [More Details].

1989

A Reactive Scheduling Agent
Prosser,P. Proceedings International Joint Conference on Artificial Intelligence (IJCAI) [More Details].

1988

A hybrid genetic algorithm for pallet loading
Prosser,P. European Conference on Artificial Intelligence pp 159-164 [More Details].