TY  - RPRT
TI  - Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
AU  - Jan Heemstra
AU  - Jan Martens
AU  - Anton Wijs
PY  - 2026
UR  - https://arxiv.org/abs/2508.20735
ID  - 2508.20735
ER  -