Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions.

Stephan Gocht Ciaran McCreesh Jakob Nordström

Published in: IJCAI (2020)

Keyphrases

cutting plane
integer programming problems
subgraph isomorphism
integer program
lower bound
integer programming
mixed integer
knapsack problem
linear programming
graph matching
graph databases
hard problems
combinatorial optimization
search tree
pattern recognition
edit distance
linear program
special case