Edelkamp, S.; Kissmann, P. On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. AAAI 2011, 25, 18-23.