Ulrich Meyer, Hung Tran, and Konstantinos Tsakalidis.
Certifying induced subgraphs in large graphs.
In Chun-Cheng Lin, Bertrand M. T. Lin, and Giuseppe Liotta, editors, WALCOM: Algorithms and Computation - 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings, volume 13973 of Lecture Notes in Computer Science, 229–241. Springer, 2023.
@inproceedings{DBLP:conf/walcom/MeyerTT23,
author = "Meyer, Ulrich and Tran, Hung and Tsakalidis, Konstantinos",
editor = "Lin, Chun{-}Cheng and Lin, Bertrand M. T. and Liotta, Giuseppe",
title = "Certifying Induced Subgraphs in Large Graphs",
booktitle = "{WALCOM:} Algorithms and Computation - 17th International Conference and Workshops, {WALCOM} 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings",
series = "Lecture Notes in Computer Science",
volume = "13973",
pages = "229--241",
publisher = "Springer",
year = "2023"
}