Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams

Author(s)

Journal

  • ACM Computing Surveys

    ACM Computing Surveys 24(3), 293-318, 1992

Cited by:  35

Codes

  • NII Article ID (NAID)
    80006849706
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top