Douglas A. Thomae, David E. van den Bout. Encoding logical constraints into neural network cost functions. In IJCNN 1990, International Joint Conference on Neural Networks, San Diego, CA, USA, June 17-21, 1990. pages 863-868, IEEE, 1990. [doi]
Abstract is missing.