A Complete Neural Network Algorithm for Horn-SAT
Publisher
Springer Netherlands
Reference15 articles.
1. Arbib, M. (1995). The Handbook of Brain Theory and Neural Networks. MIT press.
2. Bibel, W. (1991). Perspectives on automated deduction. In Boyer, R. S., editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 77–104. Kluwer Academic, Utrecht.
3. Cook, S. and Luby, M. (1988). A simple parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula. Information Processing Letters, 27: 141–145.
4. Cook, S. A. (1985). A taxonomy of problems with fast parallel algorithms. Information and Control, 64: 2–22.
5. Coppersmith, D. and Winograd, S. (1987). Matrix multiplication via arithmetic progression. In Proc. 28th Ann. ACM Symp. on Theory of Computing, pages 1–6.