← back to paper

Review history

arxiv: 2605.03535 · 2 revisions

Hyper-Minimization for Deterministic Register Automata

1. 2026-05-09 UNVERDICTED LOW v0.9.0 novelty 5.0
   54737 ms 5374 in 1062 out 2026-05-09T15:58:37.014858+00:00
2. 2026-05-07 UNVERDICTED UNKNOWN v0.9.0 novelty 6.0
   26550 ms 5352 in 1098 out 2026-05-07T00:58:36.388039+00:00