Space Complexity of Random Formulae in Resolution.

Eli Ben-Sasson Nicola Galesi

Published in: Computational Complexity Conference (2001)

Keyphrases

space complexity
arc consistency
high resolution
low resolution
worst case time complexity
worst case
decision trees
uniformly distributed
consequence finding
database
case study
data structure
fine grained
sampling rate
space requirements
conflict detection