Patrick Prosser

Q: What Schools Are Affiliated With Patrick Prosser

Patrick Prosser is affiliated with the following schools: University of York, University of Strathclyde, University of Glasgow

Patrick Prosser's AcademicInfluence.com Rankings

Patrick Prosser

Computer Science

#5813

World Rank

#6136

Historical Rank

Database

#8424

World Rank

#8817

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Patrick Prosser Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Patrick Prosser is a Computer Scientist who spent the bulk of his career at the University of Glasgow. His research has centred on constraint programming, although it has extended into the application of those techniques into other areas. For his major contributions to the theory and practice of constraint programming, Patrick was awarded the Association for Constraint Programming's Research Excellence Award on 15 September 2011: he is only the sixth recipient of this award. He gave a prerecorded acceptance speech, which is available on YouTube.

(See a Problem?)

Patrick Prosser's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM (1993) (712)
The Constrainedness of Search (1996) (219)
An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems (1996) (210)
Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics (2000) (190)
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem (1996) (167)
Random Constraint Satisfaction: Flaws and Structure (2001) (161)
Guided Local Search for the Vehicle Routing Problem (1997) (158)
Binary Constraint Satisfaction Problems: Some are Harder than Others (1994) (126)
Dynamic VRPs: A Study of Scenarios (1998) (126)
Morphing: Combining Structure and Randomness (1999) (100)
A distributed asynchronous system for predictive and reactive scheduling (1991) (83)
Exact Algorithms for Maximum Clique: A Computational Study (2012) (77)
Singleton Consistencies (2000) (77)
Domain Filtering can Degrade Intelligent Backtracking Search (1993) (76)
Random Constraint Satisfaction: Theory Meets Practice (1998) (75)
MAC-CBJ: maintaining arc consistency with conflict-directed backjumping (1995) (69)
A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints (2000) (68)
An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists (2002) (65)
A Constraint Programming Approach to the Stable Marriage Problem (2001) (59)
Vehicle Routing and Job Shop Scheduling: What's the Difference? (2003) (59)
The Constrainedness of Arc Consistency (1997) (57)
Scaling Effects in the CSP Phase Transition (1995) (49)
Trying Again to Fail-First (2004) (48)
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs (2015) (45)
A Reactive Scheduling Agent (1989) (44)
Variable Ordering Heuristics Show Promise (2004) (42)
Multi-Threading a State-of-the-Art Maximum Clique Algorithm (2013) (42)
A constraint maintenance system for the distributed resource allocation problem (1992) (38)
A Constraint Programming Approach to the Hospitals / Residents Problem (2007) (38)
A Preliminary Review of Literature on Parallel Constraint Solving (2011) (37)
The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound (2014) (37)
A Hybrid Genetic Algorithm for Pallet Loading (1988) (33)
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases (2018) (33)
Forward Checking with Backmarking (1995) (32)
Distributed genetic algorithms for resource allocation (1993) (31)
The Scaling of Search Cost (1997) (31)
Intelligent scheduling: Past, present and future (1994) (31)
A Partitioning Algorithm for Maximum Common Subgraph Problems (2017) (30)
Maintaining Singleton Arc-Consistency (2006) (29)
Study of Greedy Search with Multiple Improvement Heuristics for Vehicle Routing Problems (1996) (29)
Supertree Construction with Constraint Programming (2003) (27)
On the Reformulation of Vehicle Routing Problems and Scheduling Problems (2002) (26)
Breaking Symmetries in Graph Representation (2013) (25)
SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists (2002) (24)
A Specialised Binary Constraint for the Stable Marriage Problem (2005) (23)
Local Search in Constraint Programming: Application to the Vehicle Routing Problem (2002) (22)
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems (2016) (22)
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms (2019) (22)
Toward Understanding Variable Ordering Heuristics for Constraint Satisfaction Problems (2003) (21)
Rooted Tree and Spanning Tree Constraints (2006) (17)
On Maximum Weight Clique Algorithms, and How They Are Evaluated (2017) (16)
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants (2020) (16)
Limited discrepancy search revisited (2011) (15)
A Connectivity Constraint Using Bridges (2006) (14)
A review of literature on parallel constraint solving (2018) (14)
Stable Roommates and Constraint Programming (2014) (14)
Scheduling as a constraint satisfaction problem: theory and practice (1993) (13)
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem (2014) (13)
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem (2014) (11)
Constraints for symmetry breaking in graph representation (2018) (11)
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems (2020) (11)
Distributing an Exact Algorithm for Maximum Clique: maximising the costup (2012) (11)
Stochastic techniques for resource management (1995) (10)
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (2002) (10)
An n-ary Constraint for the Stable Marriage Problem (2013) (10)
A parallel branch and bound algorithm for the maximum labelled clique problem (2014) (9)
Discrete and continuous time simulations of spatial ecological processes predict different final population sizes and interspecific competition outcomes (2013) (9)
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems (2016) (9)
Exploring the use of constraint programming for enforcing connectivity during graph generation (2005) (8)
The Ultrametric Constraint and its Application to Phylogenetics (2008) (8)
Solving the rehearsal problem with planning and model checking (2004) (7)
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms (2018) (6)
A General Framework for Stable Roommates Problems using Answer Set Programming (2020) (6)
A case study of mutual routing-scheduling reformulation (2006) (5)
Specialised Constraints for Stable Matching Problems (2005) (5)
Diamond-free Degree Sequences (2012) (5)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research (2019) (5)
Task Variant Allocation in Distributed Robotics (2016) (5)
The Dynamics of Dynamic Variable Ordering Heuristics (1998) (5)
The future of scheduling-DAI? (1993) (4)
A Student Advisory System: a configuration problem for constraint programming (2002) (4)
A constraint model and a reduction operator for the minimising open stacks problem (2005) (4)
Failing First: An Update (2004) (4)
Triangle packing with constraint programming (2010) (3)
A Hardware Relaxation Paradigm for Solving NP-Hard Problems (2008) (3)
Artificial intelligence for resource management in telecommunications (1993) (2)
Random Constraint Satisfa tion : Flaws and Stru ture ? (1998) (2)
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables (2002) (2)
The Extended Literal Encoding of SAT into CSP (2003) (2)
Supertree Construction with Constraint Programming : recent progress and new challenges (2003) (2)
Morphing Between Stable Matching Problems (2016) (1)
An intelligent knowledge-based scheduler for heavy manufacturing (1988) (1)
Teaching Constraint Programming (2014) (1)
Greedy Graph Colouring is a Misleading Heuristic (2013) (1)
Understanding the Empirical Hardness of Random Optimisation Problems (2019) (1)
Finding Maximum k-Cliques Faster Using Lazy Global Domination (2014) (1)
Stable Roommates and Constraint Programming A first stab (2013) (0)
APES Report : APES-20-2000 Inside MAC and FC (2000) (0)
A Constraint Programming Approa h to theStable Marriage (2001) (0)
Failing First : An Update 1 (0)
A parallel branch and bound algorithm for the maximum labelled clique problem (2014) (0)
On the Reformulation of Vehi le RoutingProblems and S heduling Problems ? (2002) (0)
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists (2015) (0)
Edinburgh Research Explorer Task Variant Allocation in Distributed Robotics (2016) (0)
Empirical Algorithmics: draw your own conclusions (2014) (0)
Finding Subgraphs with Side Constraints (2021) (0)
Enforcing Connectivity in a Fixed Degree Graph : A Constraint Programming Case Study ? (0)
A case study of mutual scheduling-routing reformulation (2006) (0)
A Parallel, Backjumping Subgraph Isomorphism Algorithm using Supplemental Graphs (code and experimental data) (2015) (0)
A Constraint Model for the Tree Decomposition of a Graph (2019) (0)
Constraints for symmetry breaking in graph representation (2018) (0)
Explorer Task Variant Allocation in Distributed Robotics (2017) (0)
Diamond-free Degree Sequences TR-2010-318 (2012) (0)
APES-01-1998 Implementation of LNS for Constrained VRPs (2007) (0)

This paper list is powered by the following services:

Other Resources About Patrick Prosser

en.wikipedia.org

What Schools Are Affiliated With Patrick Prosser?

Patrick Prosser is affiliated with the following schools:

Patrick Prosser's Academic­Influence.com Rankings