Patrick Prosser

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 20

Top Topics

Constraint Programming

Subgraph Isomorphism

Branch And Bound

Top Venues

Publications

Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler
Finding Subgraphs with Side Constraints. CPAIOR (2021)
Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems. CP (2020)
Esra Erdem, Muge Fidan, David F. Manlove, Patrick Prosser
A General Framework for Stable Roommates Problems using Answer Set Programming. CoRR (2020)
Ciaran McCreesh, Patrick Prosser, James Trimble
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. ICGT (2020)
Esra Erdem, Muge Fidan, David F. Manlove, Patrick Prosser
A General Framework for Stable Roommates Problems using Answer Set Programming. Theory Pract. Log. Program. 20 (6) (2020)
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. CPAIOR (2019)
Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey
Constraints for symmetry breaking in graph representation. Constraints An Int. J. 24 (1) (2019)
Benjamin Bumpus, Patrick Prosser, James Trimble
A Constraint Model for the Tree Decomposition of a Graph. CoRR (2019)
Ciaran McCreesh, William Pettersson, Patrick Prosser
Understanding the Empirical Hardness of Random Optimisation Problems. CP (2019)
Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
A Review of Literature on Parallel Constraint Solving. CoRR (2018)
Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. J. Artif. Intell. Res. 61 (2018)
Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. CPAIOR (2018)
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18 (5-6) (2018)
Ciaran McCreesh, Patrick Prosser, James Trimble
A Partitioning Algorithm for Maximum Common Subgraph Problems. IJCAI (2017)
Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble
On Maximum Weight Clique Algorithms, and How They Are Evaluated. CP (2017)
Ciaran McCreesh, Patrick Prosser
Finding Maximum k-Cliques Faster Using Lazy Global Domination. SOCS (2016)
Ciaran McCreesh, Patrick Prosser, James Trimble
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. IJCAI (2016)
José Cano, David Robert White, Alejandro Bordallo, Ciaran McCreesh, Patrick Prosser, Jeremy Singer, Vijay Nagarajan
Task Variant Allocation in Distributed Robotics. Robotics: Science and Systems (2016)
Ciaran McCreesh, Patrick Prosser, James Trimble
Morphing Between Stable Matching Problems. CP (2016)
Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. CP (2016)
Ciaran McCreesh, Patrick Prosser
The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound. ACM Trans. Parallel Comput. 2 (1) (2015)
Ciaran McCreesh, Patrick Prosser
A parallel branch and bound algorithm for the maximum labelled clique problem. Optim. Lett. 9 (5) (2015)
Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. CP (2015)
Ciaran McCreesh, Patrick Prosser
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs. CP (2015)
Neil C. A. Moore, Patrick Prosser
The Ultrametric Constraint and its Application to Phylogenetics. CoRR (2014)
Patrick Prosser
Teaching Constraint Programming. CP (2014)
Ciaran McCreesh, Patrick Prosser
Finding Maximum k-Cliques Faster using Lazy Global Domination. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
A Parallel Branch and Bound Algorithm for the Maximum Labelled Clique Problem. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem. CPAIOR (2014)
Frod Prefect, Patrick Prosser
Empirical Algorithmics: draw your own conclusions. CoRR (2014)
Ciaran McCreesh, Patrick Prosser
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. CP (2014)
Patrick Prosser
Stable Roommates and Constraint Programming. CPAIOR (2014)
Ciaran McCreesh, Patrick Prosser
Greedy Graph Colouring is a Misleading Heuristic. CoRR (2013)
Ciaran McCreesh, Patrick Prosser
Multi-Threading a State-of-the-Art Maximum Clique Algorithm. Algorithms 6 (4) (2013)
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey
Breaking Symmetries in Graph Representation. IJCAI (2013)
Chris Unsworth, Patrick Prosser
An n-ary Constraint for the Stable Marriage Problem. CoRR (2013)
Alice Miller, Patrick Prosser
Diamond-free Degree Sequences CoRR (2012)
Patrick Prosser
Exact Algorithms for Maximum Clique: A Computational Study. Algorithms 5 (4) (2012)
Ciaran McCreesh, Patrick Prosser
Distributing an Exact Algorithm for Maximum Clique: maximising the costup CoRR (2012)
Patrick Prosser
Exact Algorithms for Maximum Clique: a computational study CoRR (2012)
Patrick Prosser, Chris Unsworth
Limited discrepancy search revisited. ACM J. Exp. Algorithmics 16 (2011)
Paul Cockshott, Andreas Koltes, John T. O'Donnell, Patrick Prosser, Wim Vanderbauwhede
A Hardware Relaxation Paradigm for Solving NP-Hard Problems. BCS Int. Acad. Conf. (2008)
Neil C. A. Moore, Patrick Prosser
The Ultrametric Constraint and its Application to Phylogenetics. J. Artif. Intell. Res. 32 (2008)
David F. Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth
A Constraint Programming Approach to the Hospitals / Residents Problem. CPAIOR (2007)
Patrick Prosser, Chris Unsworth
A Connectivity Constraint Using Bridges. ECAI (2006)
J. Christopher Beck, Patrick Prosser, Evgeny Selensky
A case study of mutual routing-scheduling reformulation. J. Sched. 9 (5) (2006)
Chris Unsworth, Patrick Prosser
A Specialised Binary Constraint for the Stable Marriage Problem. SARA (2005)
Chris Unsworth, Patrick Prosser
Specialised Constraints for Stable Matching Problems. CP (2005)
J. Christopher Beck, Patrick Prosser, Richard J. Wallace
Failing First: An Update. ECAI (2004)
J. Christopher Beck, Patrick Prosser, Richard J. Wallace
Variable Ordering Heuristics Show Promise. CP (2004)
J. Christopher Beck, Patrick Prosser, Richard J. Wallace
Trying Again to Fail-First. CSCLP (2004)
J. Christopher Beck, Patrick Prosser, Evgeny Selensky
Vehicle Routing and Job Shop Scheduling: What's the Difference? ICAPS (2003)
Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei
Supertree Construction with Constraint Programming. CP (2003)
J. Christopher Beck, Patrick Prosser, Evgeny Selensky
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. ICGT (2002)
J. Christopher Beck, Patrick Prosser, Evgeny Selensky
On the Reformulation of Vehicle Routing Problems and Scheduling Problems. SARA (2002)
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)
Ian P. Gent, Patrick Prosser
An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists. ECAI (2002)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
Random Constraint Satisfaction: Flaws and Structure. Constraints An Int. J. 6 (4) (2001)
Ian P. Gent, Robert W. Irving, David F. Manlove, Patrick Prosser, Barbara M. Smith
A Constraint Programming Approach to the Stable Marriage Problem. CP (2001)
Bruno De Backer, Vincent Furnon, Paul Shaw, Philip Kilby, Patrick Prosser
Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics. J. Heuristics 6 (4) (2000)
Philip Kilby, Patrick Prosser, Paul Shaw
A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints. Constraints An Int. J. 5 (4) (2000)
Patrick Prosser, Kostas Stergiou, Toby Walsh
Singleton Consistencies. CP (2000)
Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh
Morphing: Combining Structure and Randomness. AAAI/IAAI (1999)
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
Random Constraint Satisfaction: Theory Meets Practice. CP (1998)
Patrick Prosser
The Dynamics of Dynamic Variable Ordering Heuristics. CP (1998)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
The Scaling of Search Cost. AAAI/IAAI (1997)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
The Constrainedness of Arc Consistency. CP (1997)
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)
Patrick Prosser
An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems. Artif. Intell. 81 (1-2) (1996)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
The Constrainedness of Search. AAAI/IAAI, Vol. 1 (1996)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
Scaling Effects in the CSP Phase Transition. CP (1995)
Patrick Prosser
Forward Checking with Backmarking. Constraint Processing, Selected Papers (1995)
Patrick Prosser
Binary Constraint Satisfaction Problems: Some are Harder than Others. ECAI (1994)
Patrick Prosser
Hybrid Algorithms for the Constraint Satisfaction Problem. Comput. Intell. 9 (1993)
Patrick Prosser
Domain Filtering can Degrade Intelligent Backtracking Search. IJCAI (1993)
Peter Burke, Patrick Prosser
A distributed asynchronous system for predictive and reactive scheduling. Artif. Intell. Eng. 6 (3) (1991)
Patrick Prosser
A Reactive Scheduling Agent. IJCAI (1989)
Patrick Prosser
A Hybrid Genetic Algorithm for Pallet Loading. ECAI (1988)