Resolution Lower Bounds for Refutation Statements.

Michal Garlk

Browse the full MFCS paper archive.