A new approach for constructing logic functions after ECO.

Amir Masoud Gharehbaghi Masahiro Fujita

Published in: VLSI-SoC (2017)

Keyphrases

multi valued
data sets
automated reasoning
classical logic
decision making
logic programming
linear combination
modal logic