Certifying Induced Subgraphs in Large Graphs.

Ulrich Meyer, Hung Tran, Konstantinos Tsakalidis

Browse the full WALCOM paper archive.