https://hgpu.org/?p=19252
Porting tree-based hash table compression to GPGPU model checking