S. Edelkamp and P. Kissmann, “On the Complexity of BDDs for State Space Search: A Case Study in Connect Four”, AAAI, vol. 25, no. 1, pp. 18-23, Aug. 2011.