Patrick Prosser
University of Glasgow
H-index: 39
Europe-United Kingdom
Top articles of Patrick Prosser
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Finding Subgraphs with Side Constraints | Özgür Akgün Jessica Enright Christopher Jefferson Ciaran McCreesh Patrick Prosser | 2021/6/17 | |
A general framework for stable roommates problems using answer set programming | Theory and Practice of Logic Programming | Esra Erdem Müge Fidan David Manlove Patrick Prosser | 2020/11 |
Certifying solvers for clique and maximum common (connected) subgraph problems | Stephan Gocht Ross McBride Ciaran McCreesh Jakob Nordström Patrick Prosser | 2020/9/2 | |
The Glasgow subgraph solver: using constraint programming to tackle hard subgraph isomorphism problem variants | Ciaran McCreesh Patrick Prosser James Trimble | 2020/6/23 |