The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Patrick Prosser" ( http://dblp.L3S.de/Authors/Patrick_Prosser )

URL (Homepage):  http://dcs.gla.ac.uk/~pat/  Author page on DBLP  Author page in RDF  Community of Patrick Prosser in ASPL-2

Publication years (Num. hits)
1988-1998 (15) 1999-2004 (15) 2005-2013 (16) 2014-2016 (18) 2017-2019 (10)
Publication types (Num. hits)
article(28) inproceedings(46)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 75 publication records. Showing 74 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Benjamin Bumpus, Patrick Prosser, James Trimble 0001 A Constraint Model for the Tree Decomposition of a Graph. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey Constraints for symmetry breaking in graph representation. Search on Bibsonomy Constraints The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble 0001 Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, William Pettersson, Patrick Prosser Understanding the Empirical Hardness of Random Optimisation Problems. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble 0001 When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth A Review of Literature on Parallel Constraint Solving. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth A review of literature on parallel constraint solving. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble 0001 Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, Kyle Simpson, James Trimble 0001 On Maximum Weight Clique Algorithms, and How They Are Evaluated. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, James Trimble 0001 A Partitioning Algorithm for Maximum Common Subgraph Problems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Cano, David Robert White, Alejandro Bordallo, Ciaran McCreesh, Patrick Prosser, Jeremy Singer, Vijay Nagarajan Task Variant Allocation in Distributed Robotics. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2016 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, James Trimble 0001 Morphing Between Stable Matching Problems. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser Finding Maximum k-Cliques Faster Using Lazy Global Domination. Search on Bibsonomy SOCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser, James Trimble 0001 Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser A parallel branch and bound algorithm for the maximum labelled clique problem. Search on Bibsonomy Optimization Letters The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound. Search on Bibsonomy TOPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser A Parallel Branch and Bound Algorithm for the Maximum Labelled Clique Problem. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser Finding Maximum k-Cliques Faster using Lazy Global Domination. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Neil C. A. Moore, Patrick Prosser The Ultrametric Constraint and its Application to Phylogenetics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Frod Prefect, Patrick Prosser Empirical Algorithmics: draw your own conclusions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Patrick Prosser Stable Roommates and Constraint Programming. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patrick Prosser Teaching Constraint Programming. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser Greedy Graph Colouring is a Misleading Heuristic. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Chris Unsworth, Patrick Prosser An n-ary Constraint for the Stable Marriage Problem. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser Multi-Threading a State-of-the-Art Maximum Clique Algorithm. Search on Bibsonomy Algorithms The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey Breaking Symmetries in Graph Representation. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Patrick Prosser Exact Algorithms for Maximum Clique: a computational study Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alice Miller, Patrick Prosser Diamond-free Degree Sequences Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ciaran McCreesh, Patrick Prosser Distributing an Exact Algorithm for Maximum Clique: maximising the costup Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Patrick Prosser Exact Algorithms for Maximum Clique: A Computational Study. Search on Bibsonomy Algorithms The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Prosser, Chris Unsworth Limited discrepancy search revisited. Search on Bibsonomy ACM Journal of Experimental Algorithmics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Neil C. A. Moore, Patrick Prosser The Ultrametric Constraint and its Application to Phylogenetics. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paul Cockshott, Andreas Koltes, John T. O'Donnell, Patrick Prosser, Wim Vanderbauwhede A Hardware Relaxation Paradigm for Solving NP-Hard Problems. Search on Bibsonomy BCS Int. Acad. Conf. The full citation details ... 2008 DBLP  BibTeX  RDF
1David Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth A Constraint Programming Approach to the Hospitals / Residents Problem. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Evgeny Selensky A case study of mutual routing-scheduling reformulation. Search on Bibsonomy J. Scheduling The full citation details ... 2006 DBLP  DOI  BibTeX  RDF problem reformulation, job shop scheduling, empirical analysis, vehicle routing
1Patrick Prosser, Chris Unsworth A Connectivity Constraint Using Bridges. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Chris Unsworth, Patrick Prosser Specialised Constraints for Stable Matching Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris Unsworth, Patrick Prosser A Specialised Binary Constraint for the Stable Marriage Problem. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Richard J. Wallace Failing First: An Update. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Richard J. Wallace Variable Ordering Heuristics Show Promise. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Richard J. Wallace Trying Again to Fail-First. Search on Bibsonomy CSCLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Patrick Prosser, Barbara M. Smith, Wu Wei Supertree Construction with Constraint Programming. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Evgeny Selensky Vehicle Routing and Job Shop Scheduling: What's the Difference? Search on Bibsonomy ICAPS The full citation details ... 2003 DBLP  BibTeX  RDF
1Ian P. Gent, Patrick Prosser An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists. Search on Bibsonomy ECAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Patrick Prosser, Evgeny Selensky A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Evgeny Selensky Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Patrick Prosser, Evgeny Selensky On the Reformulation of Vehicle Routing Problems and Scheduling Problems. Search on Bibsonomy SARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh Random Constraint Satisfaction: Flaws and Structure. Search on Bibsonomy Constraints The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Robert W. Irving, David Manlove, Patrick Prosser, Barbara M. Smith A Constraint Programming Approach to the Stable Marriage Problem. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bruno De Backer, Vincent Furnon, Paul Shaw, Philip Kilby, Patrick Prosser Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics. Search on Bibsonomy J. Heuristics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Philip Kilby, Patrick Prosser, Paul Shaw A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints. Search on Bibsonomy Constraints The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Patrick Prosser, Kostas Stergiou 0001, Toby Walsh Singleton Consistencies. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh Morphing: Combining Structure and Randomness. Search on Bibsonomy AAAI/IAAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Patrick Prosser The Dynamics of Dynamic Variable Ordering Heuristics. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh Random Constraint Satisfaction: Theory Meets Practice. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh The Scaling of Search Cost. Search on Bibsonomy AAAI/IAAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh The Constrainedness of Arc Consistency. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Patrick Prosser An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh The Constrainedness of Search. Search on Bibsonomy AAAI/IAAI, Vol. 1 The full citation details ... 1996 DBLP  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh Scaling Effects in the CSP Phase Transition. Search on Bibsonomy CP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Patrick Prosser Forward Checking with Backmarking. Search on Bibsonomy Constraint Processing, Selected Papers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Patrick Prosser Binary Constraint Satisfaction Problems: Some are Harder than Others. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Patrick Prosser Hybrid Algorithms for the Constraint Satisfaction Problem. Search on Bibsonomy Computational Intelligence The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Patrick Prosser Domain Filtering can Degrade Intelligent Backtracking Search. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Peter Burke, Patrick Prosser A distributed asynchronous system for predictive and reactive scheduling. Search on Bibsonomy AI in Engineering The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Patrick Prosser A Reactive Scheduling Agent. Search on Bibsonomy IJCAI The full citation details ... 1989 DBLP  BibTeX  RDF
1Patrick Prosser A Hybrid Genetic Algorithm for Pallet Loading. Search on Bibsonomy ECAI The full citation details ... 1988 DBLP  BibTeX  RDF
Displaying result #1 - #74 of 74 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license