Complexity of Finding Short Resolution Proofs.

Kazuo Iwama

Browse the full MFCS paper archive.