research
∙
12/28/2020
Automorphism groups of graphs of bounded Hadwiger number
We determine the structure of automorphism groups of finite graphs of bo...
research
∙
04/16/2020
Isomorphism Testing for Graphs Excluding Small Minors
We prove that there is a graph isomorphism test running in time n^polylo...
research
∙
03/24/2020
Deep Weisfeiler Leman
We introduce the framework of Deep Weisfeiler Leman algorithms (DeepWL),...
research
∙
11/25/2019
Graph isomorphism in quasipolynomial time parameterized by treewidth
We extend Babai's quasipolynomial-time graph isomorphism test (STOC 2016...
research
∙
04/24/2019
Normalizers and permutational isomorphisms in simply-exponential time
We show that normalizers and permutational isomorphisms of permutation g...
research
∙
06/19/2018
A unifying method for the design of algorithms canonizing combinatorial objects
We devise a unified framework for the design of canonization algorithms....
research
∙
03/19/2018