TY - RPRT TI - Analysing the Performance of GPU Hash Tables for State Space Exploration AU - Nathan Cassee AU - Anton Wijs PY - 2017 DO - 10.4204/eptcs.263.1 UR - https://arxiv.org/abs/1712.09494 ID - 1712.09494 ER -