Step-Wise Synthesis of CCD MVL Functions.

Safwat G. Zaky Zvonko G. Vranesic Mostafa I. H. Abd-El-Barr

Published in: ISMVL (1990)

Keyphrases

step wise
logic synthesis
bi decomposition
multi valued
boolean functions
inductive learning
functional programs
digital camera
digital images
high resolution
heuristic search
optimal solution
knowledge acquisition
program synthesis
functional properties
quantum computing
special case