S. Edelkamp, D. Sulewski, and C. Yücel, “Perfect Hashing for State Space Exploration on the GPU”, ICAPS, vol. 20, no. 1, pp. 57-64, May 2010.