Minimization and Convexity in Threshold Logic.

Michael L. Dertouzos Zachary C. Fluhr

Published in: IEEE Trans. Electron. Comput. (1967)

Keyphrases

objective function
logic programming
modal logic
group testing
real time
classical logic
predicate logic
proof theory
convexity properties
data sets
automated reasoning
dynamic logic