Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem. - Kazuyoshi Hayase; Kunihiko Sadakane; Seiichiro Tani (COCOON, 1995)

A Package for Triangulations. - Tsuyoshi Ono; Yoshiaki Kyoda; Tomonari Masada; Kazuyoshi Hayase; Tetsuo Shibuya; Motoki Nakade; Mary Inaba; Hiroshi Imai; Keiko Imai; David Avis (SCG, 1996)

OBDDs of a Monotone Function and Its Prime Implicants. - Kazuyoshi Hayase; Hiroshi Imai (Theory Comput. Syst., 1998)