A Formally Verified System for Logic Synthesis.

Mark D. Aagaard Miriam Leeser

Published in: ICCD (1991)

Keyphrases

logic synthesis
multi valued
inductive learning
heuristic search
quantum computing
logic circuits
database
relational databases
search space
databases
learning algorithm
state space