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 |