Restructuring and logic minimization for testable PLA.

Gwo-Haur Hwang Wen-Zen Shen

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)

Keyphrases

objective function
automated reasoning
logic programming
modal logic
neural network
image sequences
predicate logic
real time
multi agent
query language
knowledge representation
set theory
half quadratic
propositional dynamic logic