Skip to content

An Optimal Lower Bound for Resolution with 2-Conjunctions.

Jan Johannsen, N. S. Narayanaswamy

VenueBMFCS
Year2002
ProceedingsMFCS

Browse the full MFCS paper archive.