Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem.

Kazuyoshi Hayase, Kunihiko Sadakane, Seiichiro Tani

Browse the full COCOON paper archive.