Prosser, Patrick

10 publications

JAIR 2018 When Subgraph Isomorphism Is Really Hard, and Why This Matters for Graph Databases Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble

IJCAI 2017 A Partitioning Algorithm for Maximum Common Subgraph Problems Ciaran McCreesh, Patrick Prosser, James Trimble

IJCAI 2016 Heuristics and Really Hard Instances for Subgraph Isomorphism Problems Ciaran McCreesh, Patrick Prosser, James Trimble

IJCAI 2013 Breaking Symmetries in Graph Representation Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey

JAIR 2008 The Ultrametric Constraint and Its Application to Phylogenetics Neil C. A. Moore, Patrick Prosser

AAAI 1999 Morphing: Combining Structure and Randomness Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh

AAAI 1997 The Scaling of Search Cost Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

AAAI 1996 The Constrainedness of Search Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

IJCAI 1993 Domain Filtering Can Degrade Intelligent Backtracking Search Patrick Prosser

IJCAI 1989 A Reactive Scheduling Agent Patrick Prosser