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