Decomposition of logic functions for minimum transition activity.

Rajeev Murgai Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: ED&TC (1995)

Keyphrases

multi valued
neural network
databases
predicate logic
human activities
activity recognition
basis functions
genetic algorithm
logic programs
multiscale
bayesian networks
modal logic
automated reasoning
decomposition method
defeasible logic
decomposition algorithm
database
linear logic
logic circuits