Combining Logic Minimization and Folding for PLA's.

Yu-Chin Hsu Youn-Long Lin Hang-Ching Hsieh Ting-Hai Chao

Published in: IEEE Trans. Computers (1991)

Keyphrases

information systems
cost function
neural network
objective function
logic programming
proof theory
data sets
data mining
social networks
image processing
image registration
logical framework
predicate logic