Coalgebraic Division for Multilevel Logic Synthesis.

Wen-Jun Hsu Wen-Zen Shen

Published in: DAC (1992)

Keyphrases

logic synthesis
multi valued
heuristic search
inductive learning
quantum computing
logic circuits
machine learning
database systems
reinforcement learning
dynamic programming
background knowledge