Home

Stefan__Baumann



STABCOL: Graph isomorphism testing based on the Weisfeiler-Leman algorithm