On Variable-inactivity and Polynomial tau-Satisfiability Procedures.

Maria Paola Bonacina Mnacho Echenim

Published in: J. Log. Comput. (2008)

Keyphrases

np complete
satisfiability problem
information systems
boolean formula
neural network
real time
machine learning
learning algorithm
computational complexity
relational databases
propositional logic
terminological reasoning