Technique of Computing Logic Derivatives for MVL-Functions.

Vlad P. Shmerko Svetlana N. Yanushkevich Vitaly G. Levashenko I. Bondar

Published in: ISMVL (1996)

Keyphrases

multi valued
bi decomposition
logic synthesis
boolean functions
higher order
special case
heuristic search
knowledge base
logic programming
quantum computing