DocumentCode
1406269
Title
The complexity of the inclusion operation on OFDD´s
Author
Drechsler, Rolf ; Sauerhoff, Martin ; Sieling, Detlef
Author_Institution
Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
Volume
17
Issue
5
fYear
1998
fDate
5/1/1998 12:00:00 AM
Firstpage
457
Lastpage
459
Abstract
Ordered functional decision diagrams (OFDD´s) are a data structure for representation and manipulation of Boolean functions. A polynomial time algorithm for the test whether f⩽g for functions f and g given by OFDD´s is presented. This is the last basic operation on OFDD´s whose complexity was unknown. The result also solves an open question on the complexity of minimizing OFDD´s for incompletely specified functions
Keywords
Boolean functions; computational complexity; data structures; Boolean functions; OFDDs; complexity; data structure; inclusion operation; incompletely specified functions; ordered functional decision diagrams; polynomial time algorithm; Boolean functions; Circuit synthesis; Computer science; Data structures; Logic circuits; Performance evaluation; Polynomials; Testing;
fLanguage
English
Journal_Title
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher
ieee
ISSN
0278-0070
Type
jour
DOI
10.1109/43.703943
Filename
703943
Link To Document