Analysing the performance of GPU hash tables for state space exploration Published in Graphs as Models (GAM), 2017 Download paper here Share on Twitter Facebook LinkedIn