AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Minimization of symbolic relations

Santa Clara, CA, USA, pp.88-91, (1990)

Cited: 71|Views11

EI WOS

Full Text

View via Publisher

Other Links

dblp.uni-trier.de academic.microsoft.com

Bibtex

Keywords

logic designminimisation of switching netssymbol manipulationbinary decision diagramsbinate covering formulationMore(4+)

Abstract

The problem of minimizing symbolic relations is addressed. The relevance of this problem in the field of optimal encoding is shown by examples. A binate covering formulation of the optimization problems involved is given, for which several algorithms are available. A novel method is proposed which is based on binary decision diagrams (BDD...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

Bill Lin

[0]

Fabio Somenzi

[0]

Your rating :

No Ratings