On the Complexity of BDDs for State Space Search: A Case Study in Connect Four.

Stefan Edelkamp, Peter Kissmann

Browse the full AAAI paper archive.