On the minimization of SOPs for bi-decomposition functions.

Tsutomu Sasao Jon T. Butler

Published in: ASP-DAC (2001)

Keyphrases

bi decomposition
multi valued
boolean functions
functional properties
logic synthesis
real time
databases
reinforcement learning
heuristic search