Workshop on Complexity of Proofs and Computations
Resolution is not automatizable unless MMSA can be efficiently approximated for small weights
Date & Time
December 10, 2000 | 2:30pm – 3:15pm
Location
Simonyi Hall 101Speakers
Affiliation
Member, School of Mathematics
Event Series
Categories
Notes
Workshop site: /math/workshop-cpc