research
∙
08/16/2023
Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-based Edit Distance
Comparative analysis of scalar fields in scientific visualization often ...
share
research
∙
06/01/2023
Algorithms Transcending the SAT-Symmetry Interface
Dedicated treatment of symmetries in satisfiability problems (SAT) is in...
research
∙
02/13/2023
Engineering a Preprocessor for Symmetry Detection
State-of-the-art solvers for symmetry detection in combinatorial objects...
research
∙
05/25/2022
SAT Preprocessors and Symmetry
Exploitation of symmetries is an indispensable approach to solve certain...
research
∙
12/08/2021
Trainability for Universal GNNs Through Surgical Randomness
Message passing neural networks (MPNN) have provable limitations, which ...
research
∙
09/15/2021
A Characterization of Individualization-Refinement Trees
Individualization-Refinement (IR) algorithms form the standard method an...
research
∙
08/10/2021
Parallel Computation of Combinatorial Symmetries
In practice symmetries of combinatorial structures are computed by trans...
research
∙
03/18/2021
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case
Color refinement is a crucial subroutine in symmetry detection in theory...
research
∙
11/18/2020
Engineering a Fast Probabilistic Isomorphism Test
We engineer a new probabilistic Monte-Carlo algorithm for isomorphism te...
research
∙
11/03/2020