• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Symbolic Boolean manipulation with ordered binary-decision diagrams (1992)

Cached

  • Download as a PDF

Download Links

  • [www.cs.utah.edu]
  • [www.ics.uci.edu]
  • [morpheus.cs.ucdavis.edu]
  • [www.cs.utah.edu]
  • [akebono.stanford.edu]
  • [www.cs.cmu.edu]
  • [www.cs.ubc.ca]
  • [www.cs.ubc.ca]
  • [www.cctbio.ece.umn.edu]
  • [cctbio.ece.umn.edu]
  • [www.mriedel.ece.umn.edu]
  • [www.cs.ubc.ca]
  • [www.cs.cmu.edu]
  • [www.cs.ubc.ca]
  • [repository.cmu.edu]
  • [www.dtic.mil]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Randal E Bryant
Venue:ACM COMPUTING SURVEYS
Citations:1036 - 13 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@ARTICLE{Bryant92symbolicboolean,
    author = {Randal E Bryant},
    title = {Symbolic Boolean manipulation with ordered binary-decision diagrams},
    journal = {ACM COMPUTING SURVEYS},
    year = {1992},
    volume = {24},
    number = {3},
    pages = {293--318}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Ordered Binary-Decision Diagrams (OBDDS) represent Boolean functions as directed acyclic graphs. They form a canonical representation, making testing of functional properties such as satmfiability and equivalence straightforward. A number of operations on Boolean functions can be implemented as graph algorithms on OBDD

Keyphrases

symbolic boolean manipulation    ordered binary-decision diagram    boolean function    canonical representation    graph algorithm    directed acyclic graph    equivalence straightforward    functional property    binary-decision diagram   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University