Workshop on Complexity of Proofs and Computations
Linear Lower Bounds for Space of Refuting Random CNF's
Date & Time
December 10, 2000 | 3:30pm – 4:15pm
Location
Simonyi Hall 101Speakers
Affiliation
Member, School of Mathematics
Event Series
Categories
Notes
Workshop site: /math/workshop-cpc