A New Kind of Tradeoffs in Propositional Proof Complexity.
Almost Optimal Local Graph Clustering Using Evolving Sets.
Computational Complexity of Quantum Satisfiability.
Bayesian Combinatorial Auctions.
Invited Articles Foreword.
Local Computation: Lower and Upper Bounds.
Byzantine Agreement in Expected Polynomial Time.
Querying Graphs with Data.
A Combinatorial, Primal-Dual Approach to Semidefinite Programs.