Default Cover Image

2013 IEEE Conference on Computational Complexity (CCC)

June 5 2013 to June 7 2013

Stanford, CA, USA

Table of Contents

Title Page iFreely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of ContentsFreely available from IEEE.pp. v-vii
PrefaceFreely available from IEEE.pp. viii-viii
Organizing CommitteeFreely available from IEEE.pp. ix-ix
Program CommitteeFreely available from IEEE.pp. x-x
ReviewersFreely available from IEEE.pp. xi-xi
CCC 2013 AwardsFreely available from IEEE.pp. xii-xii
Random Arithmetic Formulas Can Be Reconstructed EfficientlyFull-text access may be available. Sign in or learn about subscription options.pp. 1-9
Formulas are Exponentially Stronger than Monotone Circuits in Non-commutative SettingFull-text access may be available. Sign in or learn about subscription options.pp. 10-14
On Medium-Uniformity and Circuit Lower BoundsFull-text access may be available. Sign in or learn about subscription options.pp. 15-23
Shared Randomness and Quantum Communication in the Multi-party ModelFull-text access may be available. Sign in or learn about subscription options.pp. 34-43
On the Power of Non-adaptive Learning GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 44-55
The Correct Exponent for the Gotsman-Linial ConjectureFull-text access may be available. Sign in or learn about subscription options.pp. 56-64
Approaching the Chasm at Depth FourFull-text access may be available. Sign in or learn about subscription options.pp. 65-73
Approximating Boolean Functions with Depth-2 CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 74-85
Constructing Hard Functions Using Learning AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 86-97
Short Lists with Short Programs in Short TimeFull-text access may be available. Sign in or learn about subscription options.pp. 98-108
Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole PrincipleFull-text access may be available. Sign in or learn about subscription options.pp. 109-120
LS+ Lower Bounds from Pairwise IndependenceFull-text access may be available. Sign in or learn about subscription options.pp. 121-132
Just a Pebble GameFull-text access may be available. Sign in or learn about subscription options.pp. 133-143
Quantum XOR GamesFull-text access may be available. Sign in or learn about subscription options.pp. 144-155
Two-Message Quantum Interactive Proofs and the Quantum Separability ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 156-167
Collapse of the Hierarchy of Constant-Depth Exact Quantum CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 168-178
How Low Can Approximate Degree and Quantum Query Complexity Be for Total Boolean Functions?Full-text access may be available. Sign in or learn about subscription options.pp. 179-184
Composition Limits and Separating Examples for Some Boolean Function Complexity MeasuresFull-text access may be available. Sign in or learn about subscription options.pp. 185-196
On Rigid Matrices and U-polynomialsFull-text access may be available. Sign in or learn about subscription options.pp. 197-206
Covering CSPsFull-text access may be available. Sign in or learn about subscription options.pp. 207-218
Optimal Inapproximability for Scheduling Problems via Structural Hardness for Hypergraph Vertex CoverFull-text access may be available. Sign in or learn about subscription options.pp. 219-229
On the Lattice Smoothing Parameter ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 230-241
A Derandomized Switching Lemma and an Improved Derandomization of AC0Full-text access may be available. Sign in or learn about subscription options.pp. 242-247
The Distinguishability of Product Distributions by Read-Once Branching ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 248-254
Strong LTCs with Inverse Polylogarithmic Rate and SoundnessFull-text access may be available. Sign in or learn about subscription options.pp. 255-265
On the Parameterized and Approximation Hardness of Metric DimensionFull-text access may be available. Sign in or learn about subscription options.pp. 266-276
An O(n½+?)-Space and Polynomial-Time Algorithm for Directed Planar ReachabilityFull-text access may be available. Sign in or learn about subscription options.pp. 277-286
Superlinear Lower Bounds for Multipass Graph ProcessingFull-text access may be available. Sign in or learn about subscription options.pp. 287-298
Author indexFreely available from IEEE.pp. 299-299
[Publisher's information]Freely available from IEEE.pp. 300-300
Showing 40 out of 40