Title	Hardness Condensation
Creator	Razborov, Alexander
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2020-01-20T11:21
Description	Hardness condensation (or compression) is a technique that allows to drastically reduce the number of variables in a contradictory formula while preserving its hardness for a proof system. It is based on substituting variables with more complicated formulas in such a way that the dependence relation between old and new variables makes a good expander. In this talk we will review several applications of this technique; a significant part of it will be devoted to actual proofs of one or, time permitting, even two results.
Extent	52.0 minutes
Subject	Mathematics; Computer science; Mathematical logic and foundations; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: University of Chicago
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2020-07-19
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0392453
URI	http://hdl.handle.net/2429/75206
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos