Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four. - Stefan Edelkamp; Peter Kissmann; Martha Rohte (ICAPS, 2014)