Broadcasts.com - "Resolution Lower Bounds for Refutation Statements" (Banff International Research Station (BIRS))

Science
RELATED

Resolution Lower Bounds for Refutation Statements

Published: Jan. 23, 2020, 5:02 p.m.

Michal Garlík speaking at the BIRS workshop 20w5144: Proof Complexity (Jan 19 - Jan 24). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.