author-photo

Patrick Prosser

University of Glasgow
University of Strathclyde

124

Papers

3400

Citations

Citation Trend

Filter By

Papers (124) Sort By

Journal Conference Others

Finding Subgraphs With Side Constraints

2021 CPAIOR | Integration of AI and OR Techniques in Constraint Programming
Show All
- Source
- Cite
- Save
Citations (0)
A General Framework for Stable Roommates Problems using Answer Set Programming.

2020 arXiv: Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (1)
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants

2020
Show All
- Source
- Cite
- Save
Citations (5)
A General Framework for Stable Roommates Problems using Answer Set Programming

2020 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (6)
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems

2020
Show All
- Source
- Cite
- Save
Citations (5)
Constraints for symmetry breaking in graph representation

2019 Constraints - An International Journal
Show All
- Source
- Cite
- Save
Citations (6)
A Constraint Model for the Tree Decomposition of a Graph

2019 arXiv: Discrete Mathematics
Show All
- Source
- Cite
- Save
Citations (0)
Understanding the empirical hardness of random optimisation problems

2019 CP | Principles and Practice of Constraint Programming
Show All
- Source
- Cite
- Save
Citations (1)
Sequential and parallel solution-biased search for subgraph algorithms

2019 CPAIOR | Integration of AI and OR Techniques in Constraint Programming
Show All
- Source
- Cite
- Save
Citations (12)
A review of literature on parallel constraint solving

2018 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (0)