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]
@inproceedings{GochtMN20,
title = {Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions},
author = {Stephan Gocht and Ciaran McCreesh and Jakob Nordström},
year = {2020},
doi = {10.24963/ijcai.2020/158},
url = {https://doi.org/10.24963/ijcai.2020/158},
researchr = {https://researchr.org/publication/GochtMN20},
cites = {0},
citedby = {0},
pages = {1134-1140},
booktitle = {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]},
editor = {Christian Bessiere},
publisher = {ijcai.org},
}