Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions

Stephan Gocht, Ciaran McCreesh, Jakob Nordström. Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 1134-1140, ijcai.org, 2020. [doi]

Authors

Stephan Gocht

This author has not been identified. Look up 'Stephan Gocht' in Google

Ciaran McCreesh

This author has not been identified. Look up 'Ciaran McCreesh' in Google

Jakob Nordström

This author has not been identified. Look up 'Jakob Nordström' in Google