| 2007 |
| 35 | EE | David Manlove,
Gregg O'Malley,
Patrick Prosser,
Chris Unsworth:
A Constraint Programming Approach to the Hospitals / Residents Problem.
CPAIOR 2007: 155-170 |
| 2006 |
| 34 | | Patrick Prosser,
Chris Unsworth:
A Connectivity Constraint Using Bridges.
ECAI 2006: 707-708 |
| 33 | EE | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
A case study of mutual routing-scheduling reformulation.
J. Scheduling 9(5): 469-491 (2006) |
| 2005 |
| 32 | EE | Chris Unsworth,
Patrick Prosser:
Specialised Constraints for Stable Matching Problems.
CP 2005: 869 |
| 31 | EE | Chris Unsworth,
Patrick Prosser:
A Specialised Binary Constraint for the Stable Marriage Problem.
SARA 2005: 218-233 |
| 2004 |
| 30 | EE | J. Christopher Beck,
Patrick Prosser,
Richard J. Wallace:
Variable Ordering Heuristics Show Promise.
CP 2004: 711-715 |
| 29 | EE | J. Christopher Beck,
Patrick Prosser,
Richard J. Wallace:
Trying Again to Fail-First.
CSCLP 2004: 41-55 |
| 28 | | J. Christopher Beck,
Patrick Prosser,
Richard J. Wallace:
Failing First: An Update.
ECAI 2004: 959-960 |
| 2003 |
| 27 | EE | Ian P. Gent,
Patrick Prosser,
Barbara M. Smith,
Wu Wei:
Supertree Construction with Constraint Programming.
CP 2003: 837-841 |
| 26 | | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
Vehicle Routing and Job Shop Scheduling: What's the Difference?
ICAPS 2003: 267-276 |
| 2002 |
| 25 | | Ian P. Gent,
Patrick Prosser:
An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists.
ECAI 2002: 141-145 |
| 24 | EE | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.
ICGT 2002: 60-74 |
| 23 | EE | Patrick Prosser,
Evgeny Selensky:
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 121-131 |
| 22 | EE | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
On the Reformulation of Vehicle Routing Problems and Scheduling Problems.
SARA 2002: 282-289 |
| 2001 |
| 21 | EE | Ian P. Gent,
Robert W. Irving,
David Manlove,
Patrick Prosser,
Barbara M. Smith:
A Constraint Programming Approach to the Stable Marriage Problem.
CP 2001: 225-239 |
| 20 | | Ian P. Gent,
Ewan MacIntyre,
Patrick Prosser,
Barbara M. Smith,
Toby Walsh:
Random Constraint Satisfaction: Flaws and Structure.
Constraints 6(4): 345-372 (2001) |
| 2000 |
| 19 | EE | Patrick Prosser,
Kostas Stergiou,
Toby Walsh:
Singleton Consistencies.
CP 2000: 353-368 |
| 18 | | Philip Kilby,
Patrick Prosser,
Paul Shaw:
A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints.
Constraints 5(4): 389-414 (2000) |
| 17 | | Bruno De Backer,
Vincent Furnon,
Paul Shaw,
Philip Kilby,
Patrick Prosser:
Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics.
J. Heuristics 6(4): 501-523 (2000) |
| 1999 |
| 16 | | Ian P. Gent,
Holger H. Hoos,
Patrick Prosser,
Toby Walsh:
Morphing: Combining Structure and Randomness.
AAAI/IAAI 1999: 654-660 |
| 1998 |
| 15 | EE | Patrick Prosser:
The Dynamics of Dynamic Variable Ordering Heuristics.
CP 1998: 17-23 |
| 14 | EE | Ewan MacIntyre,
Patrick Prosser,
Barbara M. Smith,
Toby Walsh:
Random Constraint Satisfaction: Theory Meets Practice.
CP 1998: 325-339 |
| 1997 |
| 13 | | Ian P. Gent,
Ewan MacIntyre,
Patrick Prosser,
Toby Walsh:
The Scaling of Search Cost.
AAAI/IAAI 1997: 315-320 |
| 12 | | Ian P. Gent,
Ewan MacIntyre,
Patrick Prosser,
Toby Walsh:
The Constrainedness of Arc Consistency.
CP 1997: 327-340 |
| 1996 |
| 11 | | Ian P. Gent,
Ewan MacIntyre,
Patrick Prosser,
Toby Walsh:
The Constrainedness of Search.
AAAI/IAAI, Vol. 1 1996: 246-252 |
| 10 | | Ian P. Gent,
Ewan MacIntyre,
Patrick Prosser,
Barbara M. Smith,
Toby Walsh:
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem.
CP 1996: 179-193 |
| 9 | EE | Patrick Prosser:
An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems.
Artif. Intell. 81(1-2): 81-109 (1996) |
| 1995 |
| 8 | | Ian P. Gent,
Ewan MacIntyre,
Patrick Prosser,
Toby Walsh:
Scaling Effects in the CSP Phase Transition.
CP 1995: 70-87 |
| 7 | | Patrick Prosser:
Forward Checking with Backmarking.
Constraint Processing, Selected Papers 1995: 185-204 |
| 1994 |
| 6 | | Patrick Prosser:
Binary Constraint Satisfaction Problems: Some are Harder than Others.
ECAI 1994: 95-99 |
| 1993 |
| 5 | | Patrick Prosser:
Domain Filtering can Degrade Intelligent Backtracking Search.
IJCAI 1993: 262-267 |
| 4 | | Patrick Prosser:
Hybrid Algorithms for the Constraint Satisfaction Problem.
Computational Intelligence 9: 268-299 (1993) |
| 1991 |
| 3 | EE | Peter Burke,
Patrick Prosser:
A distributed asynchronous system for predictive and reactive scheduling.
AI in Engineering 6(3): 106-124 (1991) |
| 1989 |
| 2 | | Patrick Prosser:
A Reactive Scheduling Agent.
IJCAI 1989: 1004-1009 |
| 1988 |
| 1 | | Patrick Prosser:
A Hybrid Genetic Algorithm for Pallet Loading.
ECAI 1988: 159-164 |