Login / Signup

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

Kazuyoshi HayaseKunihiko SadakaneSeiichiro Tani
Published in: COCOON (1995)
Keyphrases
  • independent set
  • computational complexity
  • maximum weight
  • maximum independent set
  • boolean functions
  • polynomial size
  • model counting