Improved Single Pass Algorithms for Resolution Proof Reduction.

Ashutosh Gupta

Browse the full ATVA paper archive.