Journal: Journal of the ACM

Volume 63, Issue 6

0 -- 0Amin Coja-Oghlan. Belief Propagation Guided Decimation Fails on Random Formulas
0 -- 0David Harvey, Joris van der Hoeven, Grégoire Lecerf. Faster Polynomial Multiplication over Finite Fields
0 -- 0Mohab Safey El Din, Éric Schost. A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets
0 -- 0Pranjal Awasthi, Maria-Florina Balcan, Philip M. Long. The Power of Localization for Efficiently Learning Linear Separators with Noise

Volume 63, Issue 5

0 -- 0Éva Tardos. Invited Articles Foreword
40 -- 0Chandra Chekuri, Julia Chuzhoy. Polynomial Bounds for the Grid-Minor Theorem
41 -- 0Ittai Abraham, Daniel Delling, Amos Fiat, Andrew V. Goldberg, Renato F. Werneck. Highway Dimension and Provably Efficient Shortest Path Algorithms
42 -- 0Benjamin Doerr, Carola Doerr, Reto Spöhel, Henning Thomas. Playing Mastermind With Many Colors
43 -- 0Heidi Gebauer, Tibor Szabó, Gábor Tardos. The Local Lemma Is Asymptotically Tight for SAT
44 -- 0Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, Dimitrios M. Thilikos. (Meta) Kernelization
45 -- 0Julia Chuzhoy, Shi Li. A Polylogarithmic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2
46 -- 0Anat Ganor, Gillat Kol, Ran Raz. Exponential Separation of Information and Communication for Boolean Functions
47 -- 0Leonid Barenboim. Deterministic (Δ + 1)-Coloring in Sublinear (in Δ) Time in Static, Dynamic, and Faulty Networks

Volume 63, Issue 4

29 -- 0Fedor V. Fomin, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh. Efficient Computation of Representative Families with Applications in Parameterized and Exact Algorithms
30 -- 0Shaddin Dughmi, Tim Roughgarden, Qiqi Yan. Optimal Mechanisms for Combinatorial Auctions and Combinatorial Public Projects via Convex Rounding
31 -- 0Dan Alistarh, Keren Censor Hillel, Nir Shavit. Are Lock-Free Concurrent Algorithms Practically Wait-Free?
32 -- 0Eli Ben-Sasson, Yohay Kaplan, Swastik Kopparty, Or Meir, Henning Stichtenoth. Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity
33 -- 0Carl A. Miller, Yaoyun Shi. Robust Protocols for Securely Expanding Randomness and Distributing Keys Using Untrusted Quantum Devices
34 -- 0Siu On Chan, James R. Lee, Prasad Raghavendra, David Steurer. Approximate Constraint Satisfaction Requires Large LP Relaxations
35 -- 0Venkatesan Guruswami, Adam D. Smith. Optimal Rate Code Constructions for Computationally Simple Channels
36 -- 0Yakov Babichenko. Query Complexity of Approximate Nash Equilibria
37 -- 0Johan Thapper, Stanislav Zivny. The Complexity of Finite-Valued CSPs
38 -- 0. Invited Paper Foreword
39 -- 0Zeev Dvir, Sivakanth Gopi. 2-Server PIR with Subpolynomial Communication

Volume 63, Issue 3

0 -- 0Éva Tardos. Invited Articles Foreword
20 -- 0Leonid Barenboim, Michael Elkin, Seth Pettie, Johannes Schneider. The Locality of Distributed Symmetry Breaking
21 -- 0Shay Moran, Amir Yehudayoff. Sample Compression Schemes for VC Classes
22 -- 0Dimitris Achlioptas, Fotis Iliopoulos. Random Walks That Find Perfect Objects and the Lovász Local Lemma
23 -- 0Ventsislav Chonev, Joël Ouaknine, James Worrell. On the Complexity of the Orbit Problem
24 -- 0Shaull Almagor, Udi Boker, Orna Kupferman. Formally Reasoning About Quality
25 -- 0Murdoch James Gabbay. Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation
26 -- 0Bernhard Haeupler. Analyzing Network Coding (Gossip) Made Easy
27 -- 0Siu On Chan. Approximation Resistance from Pairwise-Independent Subgroups
28 -- 0Jesper Jansson, Chuanqi Shen, Wing-Kin Sung. Improved Algorithms for Constructing Consensus Trees

Volume 63, Issue 2

11 -- 0George Christodoulou 0001, Annamária Kovács, Michael Schapira. Bayesian Combinatorial Auctions
12 -- 0Sanjeev Arora, Satyen Kale. A Combinatorial, Primal-Dual Approach to Semidefinite Programs
13 -- 0Valerie King, Jared Saia. Byzantine Agreement in Expected Polynomial Time
14 -- 0Leonid Libkin, Wim Martens, Domagoj Vrgoc. Querying Graphs with Data
15 -- 0Reid Andersen, Shayan Oveis Gharan, Yuval Peres, Luca Trevisan. Almost Optimal Local Graph Clustering Using Evolving Sets
16 -- 0Alexander A. Razborov. A New Kind of Tradeoffs in Propositional Proof Complexity
17 -- 0Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer. Local Computation: Lower and Upper Bounds
18 -- 0Éva Tardos. Invited Articles Foreword
19 -- 0Christian Herrmann, Martin Ziegler 0001. Computational Complexity of Quantum Satisfiability

Volume 63, Issue 1

1 -- 0Shachar Lovett. Communication is Bounded by Root of Rank
2 -- 0Tobias Mömke, Ola Svensson. Removing and Adding Edges for the Traveling Salesman Problem
3 -- 0Gianfranco Bilardi, Andrea Pietracaprina, Geppino Pucci, Michele Scquizzato, Francesco Silvestri 0001. Network-Oblivious Algorithms
4 -- 0Artur Jez. Recompression: A Simple and Powerful Technique for Word Equations
5 -- 0Shahar Dobzinski, Jan Vondrák. Impossibility Results for Truthful Combinatorial Auctions with Submodular Valuations
6 -- 0Pierre Fraigniaud, Amos Korman. An Optimal Ancestry Labeling Scheme with Applications to XML Trees and Universal Posets
7 -- 0Floris Geerts, Thomas Unger, Grigoris Karvounarakis, Irini Fundulaki, Vassilis Christophides. Algebraic Structures for Capturing the Provenance of SPARQL Queries
8 -- 0Éva Tardos. Invited Articles Foreword
9 -- 0Kohei Honda, Nobuko Yoshida, Marco Carbone. Multiparty Asynchronous Session Types
10 -- 0Javier Esparza, Pierre Ganty, Rupak Majumdar. Parameterized Verification of Asynchronous Shared-Memory Systems