Logic Minimization using Two-column Rectangle Replacement.

Søren Søe Kevin Karplus

Published in: DAC (1991)

Keyphrases

objective function
logic programming
computational properties
defeasible logic
axis parallel
search engine
deontic logic
neural network
data model
automated reasoning
logical framework
replacement policy
formal theory
natural deduction