A reordering operation for an ordered binary decision diagram and an extended framework for combinatorics of graph

収録刊行物

• ISAAC'94

  ISAAC'94 575-583, 1994

  Springer-Verlag

詳細情報

• CRID: 1570291224524607488
• NII論文ID: 10006522930
• データソース種別:
  • CiNii Articles