3 pages matching cutting planes in this book
Results 1-3 of 3
What people are saying - Write a review
We haven't found any reviews in the usual places.
Finding Composition Trees for MultipleValued Functions
Functional Decomposition of MVL Functions Using MultiValued Decision Diagrams
36 other sections not shown
4-valued A/D converter algebra algorithm applications array asynchronous asynchronous circuits BDDs binary Boolean functions bound set CCD circuits cells CMOS column Complex Hadamard composition tree Computer corresponding cubes current-mode cutting planes DD-cubes decision diagrams decomposition defined Definition denoted elements encoding enzyme transistor example expression fault Figure finite formula FUCHT func fuzzy gate Hadamard matrix Hadamard Transforms HEMT hyperclone hyperoperation IEEE implementation input variables integer KBMD language Lemma logic function logical values many-valued logic mapping matrix method minimal minterms MJ-STT multi-valued multi-valued logic multiple Multiple-Valued Logic MVL functions nodes operations output prime implicates problem Proc properties quantizer quaternary realized Reed-Muller expansions relations representation represented RTDs Sasao semantics set logic set-valued functions shows signal simulation solution subset switching Table ternary logic Theorem tion transforms transistor TSUM UCHT ULGs universal literal valued logic vector voltage WSOP