Analysing the performance of GPU hash tables for state space exploration

Published in Graphs as Models, 2017

Download paper here