Width Versus Size in Resolution Proofs.

Alasdair Urquhart

Published in: TAMC (2006)

Keyphrases

high resolution
memory requirements
small size
image resolution
genetic algorithm
lower bound
standard deviation
space complexity
maximum number