Showing 1–20 of 26 results
/ Date/ Name
May 11, 2017Towards Verifying Nonlinear Integer ArithmeticJun 8, 2015New Limits for Knowledge Compilation and Applications to Exact Model CountingJun 18, 2018On the Bias of Reed-Muller Codes over Odd Prime FieldsApr 10, 2009Longest Common Subsequences in Sets of PermutationsDec 3, 2009Hardness Amplification in Proof ComplexityMay 1, 2015Finding the Median (Obliviously) with Bounded SpaceAug 8, 2017Time-Space Tradeoffs for Learning from Small Test Spaces: Learning Low Degree Polynomial FunctionsNov 15, 2016Massively-Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the HypercubeAug 14, 2010The Quantum Query Complexity of AC0Aug 5, 2016Nondeterminism and an abstract formulation of Nečiporuk's lower bound methodApr 7, 2016Worst-Case Optimal Algorithms for Parallel Query ProcessingJan 13, 2023Cumulative Memory Lower Bounds for Randomized and Quantum ComputationSep 26, 2013Lower Bounds for Exact Model Counting and Applications in Probabilistic DatabasesJun 1, 2019Smoothing Structured Decomposable CircuitsNov 20, 2017Edge Estimation with Independent Set OraclesJun 25, 2013Communication Steps for Parallel Query ProcessingNov 11, 2024Multiparty Communication Complexity of Collision FindingJan 9, 2014Skew in Parallel Query ProcessingDec 15, 2013Model Counting of Query Expressions: Limitations of Propositional MethodsDec 3, 2014Symmetric Weighted First-Order Model Counting