
A Characterization of IndividualizationRefinement Trees
IndividualizationRefinement (IR) algorithms form the standard method an...
read it

Parallel Computation of Combinatorial Symmetries
In practice symmetries of combinatorial structures are computed by trans...
read it

Comparative DesignChoice Analysis of Color Refinement Algorithms Beyond the Worst Case
Color refinement is a crucial subroutine in symmetry detection in theory...
read it

Engineering a Fast Probabilistic Isomorphism Test
We engineer a new probabilistic MonteCarlo algorithm for isomorphism te...
read it

Search Problems in Trees with Symmetries: near optimal traversal strategies for individualizationrefinement algorithms
We define a search problem on trees that closely captures the backtracki...
read it
Markus Anders
is this you? claim profile