Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams - Stankovic, M.; Stojkovic, S.; Stankovic, R. S. (2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012)
Keywords: compact represetation; Correlation; Data structures; Decision diagrams; Encoding; Incompletely specified logic functions; Logic functions; Transforms; Vectors