S. Edelkamp, P. Kissmann, and M. Rohte, “Symbolic and Explicit Search Hybrid through Perfect Hash Functions — A Case Study in Connect Four”, ICAPS, vol. 24, no. 1, pp. 101-110, May 2014.