An Upper Bound on the Space Complexity of Random Formulae in Resolution.
Michele ZitoPublished in: RAIRO Theor. Informatics Appl. (2002)
Keyphrases
- space complexity
- upper bound
- worst case
- lower bound
- arc consistency
- space requirements
- branch and bound algorithm
- low resolution
- branch and bound
- approximation algorithms
- upper and lower bounds
- high resolution
- consequence finding
- lower and upper bounds
- generalization error
- worst case time complexity
- evolutionary algorithm
- linear programming
- higher resolution