dblp.uni-trier.dewww.uni-trier.de

Patrick Prosser

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
35EEDavid 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
33EEJ. Christopher Beck, Patrick Prosser, Evgeny Selensky: A case study of mutual routing-scheduling reformulation. J. Scheduling 9(5): 469-491 (2006)
2005
32EEChris Unsworth, Patrick Prosser: Specialised Constraints for Stable Matching Problems. CP 2005: 869
31EEChris Unsworth, Patrick Prosser: A Specialised Binary Constraint for the Stable Marriage Problem. SARA 2005: 218-233
2004
30EEJ. Christopher Beck, Patrick Prosser, Richard J. Wallace: Variable Ordering Heuristics Show Promise. CP 2004: 711-715
29EEJ. 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
27EEIan 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
24EEJ. Christopher Beck, Patrick Prosser, Evgeny Selensky: Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. ICGT 2002: 60-74
23EEPatrick 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
22EEJ. Christopher Beck, Patrick Prosser, Evgeny Selensky: On the Reformulation of Vehicle Routing Problems and Scheduling Problems. SARA 2002: 282-289
2001
21EEIan 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
19EEPatrick 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
15EEPatrick Prosser: The Dynamics of Dynamic Variable Ordering Heuristics. CP 1998: 17-23
14EEEwan 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
9EEPatrick 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
3EEPeter 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

Coauthor Index

1Bruno De Backer [17]
2J. Christopher Beck [22] [24] [26] [28] [29] [30] [33]
3Peter Burke [3]
4Vincent Furnon [17]
5Ian P. Gent [8] [10] [11] [12] [13] [16] [20] [21] [25] [27]
6Holger H. Hoos (Holger Hoos) [16]
7Robert W. Irving [21]
8Philip Kilby [17] [18]
9Ewan MacIntyre [8] [10] [11] [12] [13] [14] [20]
10David Manlove [21] [35]
11Gregg O'Malley [35]
12Evgeny Selensky [22] [23] [24] [26] [33]
13Paul Shaw [17] [18]
14Barbara M. Smith [10] [14] [20] [21] [27]
15Kostas Stergiou [19]
16Chris Unsworth [31] [32] [34] [35]
17Richard J. Wallace [28] [29] [30]
18Toby Walsh [8] [10] [11] [12] [13] [14] [16] [19] [20]
19Wu Wei [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)