On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems.

Published in: FCT (2003)

Keyphrases

computational complexity
np complete
databases
decision problems
related problems
real time
artificial intelligence
optimization problems
computational efficiency
solving problems
database
neural network
image processing
computational cost
benchmark problems
mathematical programming