Symmetric Neural Networks and Propositional Logic Satisfiability.
Gadi PinkasPublished in: Neural Comput. (1991)
Keyphrases
- propositional logic
- neural network
- belief revision
- satisfiability testing
- first order logic
- quantified boolean formulae
- possibilistic logic
- lattice theory
- davis putnam
- proof procedure
- propositional satisfiability
- knowledge base
- belief change
- fuzzy logic
- search algorithm
- satisfiability problem
- relational databases
- lower bound
- horn logic