𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An artificial neural network with partitionable outputs

✍ Scribed by Biing T. Guan; George Z. Gertner


Book ID
114160462
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
568 KB
Volume
16
Category
Article
ISSN
0168-1699

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An artificial neural network satisfiabil
✍ Tatiana Tambouratzis πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 191 KB πŸ‘ 1 views

An artificial neural network tester for the satisfiability problem of propositional calculus is presented. Satisfiability is treated as a constraint satisfaction optimization problem and, contrary to most of the existing satisfiability testers, the expressions are converted into disjunctive normal f