Login / Signup
Output-size Sensitiveness of OBDD Construction Through Maximal Independent Set Problem.
Kazuyoshi Hayase
Kunihiko Sadakane
Seiichiro Tani
Published in:
COCOON (1995)
Keyphrases
</>
independent set
computational complexity
maximum weight
maximum independent set
boolean functions
polynomial size
model counting