 | 2008 |
| 37 |  | Paul Cockshott,
Andreas Koltes,
John O'Donnell,
Patrick Prosser,
Wim Vanderbauwhede:
A Hardware Relaxation Paradigm for Solving NP-Hard Problems.
BCS Int. Acad. Conf. 2008: 75-86 |
| 36 |  | Neil C. A. Moore,
Patrick Prosser:
The Ultrametric Constraint and its Application to Phylogenetics.
J. Artif. Intell. Res. (JAIR) 32: 901-938 (2008) |
| 2007 |
| 35 |  | 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 |  | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
A case study of mutual routing-scheduling reformulation.
J. Scheduling 9(5): 469-491 (2006) |
| 2005 |
| 32 |  | Chris Unsworth,
Patrick Prosser:
Specialised Constraints for Stable Matching Problems.
CP 2005: 869 |
| 31 |  | Chris Unsworth,
Patrick Prosser:
A Specialised Binary Constraint for the Stable Marriage Problem.
SARA 2005: 218-233 |
| 2004 |
| 30 |  | J. Christopher Beck,
Patrick Prosser,
Richard J. Wallace:
Variable Ordering Heuristics Show Promise.
CP 2004: 711-715 |
| 29 |  | 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 |  | 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 |  | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.
ICGT 2002: 60-74 |
| 23 |  | 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 |  | J. Christopher Beck,
Patrick Prosser,
Evgeny Selensky:
On the Reformulation of Vehicle Routing Problems and Scheduling Problems.
SARA 2002: 282-289 |
| 2001 |
| 21 |  | 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 |  | 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 |  | Patrick Prosser:
The Dynamics of Dynamic Variable Ordering Heuristics.
CP 1998: 17-23 |
| 14 |  | 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 |  | 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 |  | 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 |