TY  - RPRT
TI  - Certifying Induced Subgraphs in Large Graphs
AU  - Ulrich Meyer
AU  - Hung Tran
AU  - Konstantinos Tsakalidis
PY  - 2022
UR  - https://arxiv.org/abs/2210.13057
ID  - 2210.13057
ER  -