P. Prosser

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
P. Prosser, Patrick Prosser, Patri K Prosser
Publication record
108 papers · 4,185 citations · H-index 34

PAPERS

29th International Conference on Principles and Practice of Constraint Programming, CP 2023, Toronto, Canada, August 27-31, 2023
20233 citationsauthor #26
Finding Subgraphs with Side Constraints
20210 citationsauthor #5
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
202054 citationsauthor #2
A General Framework for Stable Roommates Problems using Answer Set Programming
202015 citationsauthor #4
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
202025 citationsauthor #5
A Constraint Model for the Tree Decomposition of a Graph
20190 citationsauthor #2
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms
201933 citationsauthor #5
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
201912 citationsauthor #5
Understanding the Empirical Hardness of Random Optimisation Problems
20191 citationsauthor #3
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms
20187 citationsauthor #4
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases
201853 citationsauthor #2
Constraints for symmetry breaking in graph representation
20180 citationsauthor #3
A review of literature on parallel constraint solving
201820 citationsauthor #6
Constraints for symmetry breaking in graph representation
201828 citationsauthor #3
On Maximum Weight Clique Algorithms, and How They Are Evaluated
201720 citationsauthor #2
Explorer Task Variant Allocation in Distributed Robotics
20170 citationsauthor #5
A Partitioning Algorithm for Maximum Common Subgraph Problems
201758 citationsauthor #2
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems
201612 citationsauthor #2
Task Variant Allocation in Distributed Robotics
20166 citationsauthor #5
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems
201636 citationsauthor #3
Morphing Between Stable Matching Problems
20161 citationsauthor #2
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists
20150 citationsauthor #4
A Parallel, Backjumping Subgraph Isomorphism Algorithm using Supplemental Graphs (code and experimental data)
20150 citationsauthor #2
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs
201549 citationsauthor #2
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem
201414 citationsauthor #2
Finding Maximum k-Cliques Faster Using Lazy Global Domination
20142 citationsauthor #2
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem
201420 citationsauthor #2
Empirical Algorithmics: draw your own conclusions
20140 citationsauthor #2
Teaching Constraint Programming
20143 citationsauthor #1
Stable Roommates and Constraint Programming
201419 citationsauthor #1
The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound
201438 citationsauthor #2
A parallel branch and bound algorithm for the maximum labelled clique problem
20148 citationsauthor #2
Greedy Graph Colouring is a Misleading Heuristic
20131 citationsauthor #2
Stable Roommates and Constraint Programming A first stab
20130 citationsauthor #1
Discrete and continuous time simulations of spatial ecological processes predict different final population sizes and interspecific competition outcomes
201311 citationsauthor #2
Multi-Threading a State-of-the-Art Maximum Clique Algorithm
201343 citationsauthor #2
Breaking Symmetries in Graph Representation
201330 citationsauthor #3
An n-ary Constraint for the Stable Marriage Problem
201311 citationsauthor #2
Diamond-free Degree Sequences
20125 citationsauthor #2
Distributing an Exact Algorithm for Maximum Clique: maximising the costup
201278 citationsauthor #2
Limited discrepancy search revisited
201116 citationsauthor #1
A Preliminary Review of Literature on Parallel Constraint Solving
201135 citationsauthor #6
Triangle packing with constraint programming
20103 citationsauthor #1
The Ultrametric Constraint and its Application to Phylogenetics
200811 citationsauthor #2
A Hardware Relaxation Paradigm for Solving NP-Hard Problems
20083 citationsauthor #4
A Constraint Programming Approach to the Hospitals / Residents Problem
200742 citationsauthor #3
A Connectivity Constraint Using Bridges
200614 citationsauthor #1
Rooted Tree and Spanning Tree Constraints
200617 citationsauthor #1
A case study of mutual routing-scheduling reformulation
20066 citationsauthor #2
A case study of mutual scheduling-routing reformulation
20060 citationsauthor #1
Specialised Constraints for Stable Matching Problems
20055 citationsauthor #2
A Specialised Binary Constraint for the Stable Marriage Problem
200524 citationsauthor #2
A constraint model and a reduction operator for the minimising open stacks problem
20054 citationsauthor #2
Exploring the use of constraint programming for enforcing connectivity during graph generation
20058 citationsauthor #2
Trying Again to Fail-First
200446 citationsauthor #2
Solving the rehearsal problem with planning and model checking
20047 citationsauthor #3
Variable Ordering Heuristics Show Promise
200440 citationsauthor #2
Failing First: An Update
20044 citationsauthor #2
Supertree Construction with Constraint Programming : recent progress and new challenges
20032 citationsauthor #1
Toward Understanding Variable Ordering Heuristics for Constraint Satisfaction Problems
200321 citationsauthor #2
Vehicle Routing and Job Shop Scheduling: What's the Difference?
200365 citationsauthor #2
Supertree Construction with Constraint Programming
200323 citationsauthor #2
The Extended Literal Encoding of SAT into CSP
20032 citationsauthor #2
Local Search in Constraint Programming: Application to the Vehicle Routing Problem
200222 citationsauthor #4
On the Reformulation of Vehicle Routing Problems and Scheduling Problems
200224 citationsauthor #2
On the Reformulation of Vehi le RoutingProblems and S heduling Problems ?
20020 citationsauthor #2
An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists
200270 citationsauthor #2
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
20022 citationsauthor #1
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
200210 citationsauthor #2
SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists
200225 citationsauthor #2
A Student Advisory System: a configuration problem for constraint programming
20024 citationsauthor #2
A Constraint Programming Approach to the Stable Marriage Problem
200162 citationsauthor #4
A Constraint Programming Approa h to theStable Marriage
20010 citationsauthor #4
APES Report : APES-20-2000 Inside MAC and FC
20000 citationsauthor #2
Singleton Consistencies
200073 citationsauthor #1
Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics
2000194 citationsauthor #5
A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints
200068 citationsauthor #2
Morphing: Combining Structure and Randomness
199996 citationsauthor #3
Random Constraint Satisfaction: Theory Meets Practice
199875 citationsauthor #2
Dynamic VRPs: A Study of Scenarios
1998135 citationsauthor #2
The Dynamics of Dynamic Variable Ordering Heuristics
19986 citationsauthor #1
The Constrainedness of Arc Consistency
199759 citationsauthor #3
The Scaling of Search Cost
199731 citationsauthor #3
Guided Local Search for the Vehicle Routing Problem
1997136 citationsauthor #2
An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems
1996211 citationsauthor #1
Study of Greedy Search with Multiple Improvement Heuristics for Vehicle Routing Problems
199629 citationsauthor #1
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem
1996168 citationsauthor #3
The Constrainedness of Search
1996218 citationsauthor #3
MAC-CBJ: maintaining arc consistency with conflict-directed backjumping
199568 citationsauthor #1
Scaling Effects in the CSP Phase Transition
199552 citationsauthor #3
Forward Checking with Backmarking
199531 citationsauthor #1
Stochastic techniques for resource management
199510 citationsauthor #3
Intelligent scheduling: Past, present and future
199434 citationsauthor #1
Binary Constraint Satisfaction Problems: Some are Harder than Others
1994125 citationsauthor #1
BM + BJ = BMJ
19937 citationsauthor #1
Scheduling as a constraint satisfaction problem: theory and practice
199313 citationsauthor #1
Domain Filtering can Degrade Intelligent Backtracking Search
199372 citationsauthor #1
Distributed genetic algorithms for resource allocation
199328 citationsauthor #3
The future of scheduling-DAI?
19934 citationsauthor #1
Artificial intelligence for resource management in telecommunications
19932 citationsauthor #3

TIMELINE

1988 32 citations

1989 45 citations

1991 82 citations

1992 35 citations

1993 841 citations

1994 159 citations

1995 161 citations

1996 626 citations

1997 226 citations

1998 216 citations

1999 96 citations

2000 335 citations

2001 62 citations

2002 157 citations

2003 113 citations

2004 97 citations

2005 41 citations

2006 37 citations

2007 42 citations

2008 14 citations

2010 3 citations

2011 51 citations

2012 83 citations

2013 96 citations

2014 104 citations

2015 49 citations

2016 55 citations

2017 78 citations

2018 108 citations

2019 46 citations

2020 94 citations

2021 0 citations

2023 3 citations

Unknown 0 citations

P. Prosser

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT