https://hgpu.org/?p=8382
Computing Reachable Sets via Barrier Methods on SIMD Architectures