TY  - RPRT
TI  - Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
AU  - Ali Rasim Kocal
AU  - Michael Schwarz
AU  - Simmo Saan
AU  - Helmut Seidl
PY  - 2026
UR  - https://arxiv.org/abs/2602.06680
ID  - 2602.06680
ER  -