Optimizing OBDDs Is Still Intractable for Monotone Functions.

Kazuo Iwama, Mitsushi Nouzoe, Shuzo Yajima

Browse the full MFCS paper archive.