Finding Tractable Formulas in NNF.

Edgar Altamirano Gonzalo Escalada-Imaz

Published in: Computational Logic (2000)

Keyphrases

normal form
np complete
real time
neural network
information retrieval
learning algorithm
search engine
data structure
special case
general conditions
version spaces