OKFDDs versus OBDDs and OFDDs.

Bernd Becker, Rolf Drechsler, Michael Theobald

Browse the full ICALP paper archive.