research
∙
11/23/2021
A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension
We investigate the relationship between various isomorphism invariants f...
share
research
∙
09/15/2021
A Characterization of Individualization-Refinement Trees
Individualization-Refinement (IR) algorithms form the standard method an...
research
∙
03/30/2020
