Edelkamp, S. and Kissmann, P. 2011. On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. Proceedings of the AAAI Conference on Artificial Intelligence. 25, 1 (Aug. 2011), 18-23. DOI:https://doi.org/10.1609/aaai.v25i1.7821.