The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants

2020/01/01 by Ciaran McCreesh, Patrick Prosser, James Trimble · 2 citations
Computer Science · Mathematics · #Advanced Graph Neural Networks #Artificial intelligence #Computer science #Constraint Satisfaction and Optimization #Constraint programming #Domain (mathematical analysis) #Graph #Graph Theory and Algorithms #Induced subgraph isomorphism problem #Inference #Matching (statistics) #Mathematical optimization #Mathematics #Programming language #Range (aeronautics) #Solver #Subgraph isomorphism problem #Theoretical computer science

paper · doi:10.1007/978-3-030-51372-6_19

crossref issued 2020/01/01 · crossref published 2020/01/01 · crossref published-print 2020/01/01 · openalex publication_date 2020/01/01 · crossref published-online 2020/06/23 · crossref created 2020/06/25 · crossref deposited 2024/03/12 · openalex created_date 2025/10/10 · crossref indexed 2026/07/10 · openalex updated_date 2026/08/04

Citations

• A (sub)graph isomorphism algorithm for matching large graphs
• A subgraph isomorphism algorithm and its application to biochemical data
• Experimental Evaluation of Subgraph Isomorphism Solvers

Cited by

• Induced universal graphs for families of small graphs
• Subgraph isomorphism problem [wikipedia]