The McBOOLE logic minimizer.

Michel Dagenais Vinod K. Agarwal Nicholas C. Rumin

Published in: DAC (1985)

Keyphrases

modal logic
sufficient conditions
asynchronous circuits
epistemic logic
cost function
classical logic
evolutionary algorithm
defeasible logic
training set
edge detection
expert systems
information systems
automated reasoning
digital circuits
predicate logic
search engine
real time