A modified approach to two-level logic minimization.

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

Published in: ICCAD (1988)

Keyphrases

classical logic
objective function
case study
logic programming
modal logic
machine learning
proof theory
search algorithm
databases
automated reasoning
epistemic logic
evolutionary algorithm
geometric interpretation
dynamic logic
multi agent
website
real world