On the Complexity of Propositional Calculus Formulae.

Stefan Andrei Gheorghe Grigoras Manfred Kudlek Cristian Masalagiu

Published in: Sci. Ann. Cuza Univ. (2001)

Keyphrases

propositional calculus
lower complexity
worst case
information retrieval
computational complexity
expert systems
evolutionary algorithm
decision problems
space complexity
high computational complexity
neural network
learning algorithm
multiresolution
complexity measures