Constrained interpolation for guided logic synthesis.

Ana Petkovska David Novo Alan Mishchenko Paolo Ienne

Published in: ICCAD (2014)

Keyphrases

logic synthesis
heuristic search
multi valued
quantum computing
inductive learning
logic circuits
database
relational databases
random walk
ubiquitous computing