Showing 1–20 of 21 results
/ Date/ Name
Feb 7, 2024Colorings of $k$-sets with low discrepancy on small setsOct 17, 2012Randomness, pseudorandomness and models of arithmeticJul 29, 2020Reflection principles, propositional proof systems, and theoriesDec 6, 2019The canonical pairs of bounded depth Frege systemsDec 5, 2020On matrices potentially useful for tree codesDec 21, 2024A lower bound on the Ramsey number $R_k(k+1,k+1)$Apr 16, 2019Extractors for small zero-fixing sourcesJan 7, 2016Incompleteness in the finite domainOct 21, 2013Linear tree codes and the problem of explicit constructionsNov 12, 2014On the complexity of finding falsifying assignments for Herbrand disjunctionsJul 8, 2019Santha-Vazirani sources, deterministic condensers and very strong extractorsMar 14, 2024Local Enumeration and Majority Lower BoundsMar 27, 2015On the Joint Entropy of $d$-Wise-Independent VariablesNov 18, 2022On the Ramsey number of daisies IJan 26, 2022Linear Branching Programs and Directional Affine ExtractorsMar 13, 2013The complexity of proving that a graph is RamseyAug 7, 2007Exponential Separation of Quantum and Classical Non-Interactive Multi-Party Communication ComplexityJan 22, 2014Partition ExpandersFeb 9, 2016A wild model of linear arithmetic and discretely ordered modulesNov 4, 2016Tighter Hard Instances for PPSZ