On the complexity of resolution with bounded conjunctions.

Juan Luis Esteban Nicola Galesi Jochen Messner

Published in: Theor. Comput. Sci. (2004)

Keyphrases

high resolution
space complexity
database
real time
data sets
data mining
information retrieval
genetic algorithm
artificial intelligence
computer vision
high quality
objective function
multi agent
computational cost
low resolution
consequence finding