Boolean matching in logic synthesis.

Hamid Savoj Mário J. Silva Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: EURO-DAC (1992)

Keyphrases

logic synthesis
multi valued
heuristic search
quantum computing
inductive learning
boolean functions
real time
machine learning
normal form
logic circuits