M32: A Constructive multilevel Logic Synthesis System.

Victor N. Kravets Karem A. Sakallah

Published in: DAC (1998)

Keyphrases

logic synthesis
multi valued
heuristic search
quantum computing
inductive learning
logic circuits
database
machine learning
real time
database systems
expert systems