Reduction of interpolants for logic synthesis.

John D. Backes Marc D. Riedel

Published in: ICCAD (2010)

Keyphrases

logic synthesis
multi valued
quantum computing
heuristic search
inductive learning
logic circuits
computer vision
databases