Analysing the performance of GPU hash tables for state space exploration

Published in Graphs as Models (GAM), 2017

Download paper here