Space Complexity of Random Formulae in Resolution

Eli Ben-Sasson Nicola Galesi

Published in: Electron. Colloquium Comput. Complex. (2001)

Keyphrases

space complexity
arc consistency
worst case
high resolution
low resolution
space requirements
valued logic
worst case time complexity
linear programming
parallel algorithm
randomly generated
consequence finding