Logic minimization for factored forms.

Abdul A. Malik Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: ICCD (1989)

Keyphrases

objective function
logic programming
classical logic
automated reasoning
multi valued
defeasible logic
minimization problems
logic synthesis
state space
probability theory
predicate logic
deontic logic
asynchronous circuits