List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Comparative design-choice analysis of color refinement algorithms beyond the worst case | 2026-05-12 | Paper |
| Search problems in trees with symmetries: near optimal traversal strategies for individualization-refinement algorithms | 2026-05-12 | Paper |
| Satsuma: structure-based symmetry breaking in SAT | 2026-02-03 | Paper |
| Taming horizontal instability in merge trees: on the computation of a comprehensive deformation-based edit distance | 2025-09-26 | Paper |
| Efficient algorithms for symmetry detection | 2025-04-03 | Paper |
| Algorithms transcending the SAT-symmetry interface | 2024-11-26 | Paper |
| SAT preprocessors and symmetry | 2024-07-12 | Paper |
| scientific article; zbMATH DE number 7788597 (Why is no real title available?) (available as arXiv preprint) | 2024-01-15 | Paper |
| Parallel Computation of Combinatorial Symmetries. (available as arXiv preprint) | 2023-09-20 | Paper |
| Engineering a Fast Probabilistic Isomorphism Test 2021 Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX) | 2021-01-27 | Paper |
Research outcomes over time
This page was built for person: Markus Anders
