The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
Ciaran McCreesh, Patrick Prosser, James Trimble
Topics & Concepts
Subgraph isomorphism problemInduced subgraph isomorphism problemComputer scienceSolverConstraint programmingDomain (mathematical analysis)Matching (statistics)Theoretical computer scienceInferenceRange (aeronautics)Mathematical optimizationArtificial intelligenceProgramming languageMathematicsGraphMathematical analysisComposite materialLine graphStochastic programmingMaterials scienceStatisticsVoltage graphGraph Theory and AlgorithmsAdvanced Graph Neural NetworksConstraint Satisfaction and Optimization