Creating hard problem instances in logic synthesis using exact minimization.

Wolfgang Günther Rolf Drechsler

Published in: ISCAS (6) (1999)

Keyphrases

logic synthesis
heuristic search
quantum computing
multi valued
databases
inductive learning
logic circuits
objective function
low cost
low power