Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions.

Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm

Browse the full IJCAI paper archive.