Sciweavers

STOC
2002
ACM
101views Algorithms» more  STOC 2002»
14 years 5 months ago
Size space tradeoffs for resolution
We investigate tradeoffs of various basic complexity measures such as size, space and width. We show examples of formulas that have optimal proofs with respect to any one of these...
Eli Ben-Sasson