researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
analysis
completeness
data-flow
design
e-science
graph-rewriting
logic
open-source
programming
protocol
rewriting
routing
rule-based
search
source-to-source
systematic-approach
testing
Filter by Author
[+]
OR
AND
NOT
1
Aaron Sidford
Amit Sahai
Andrew Chi-Chih Yao
Avi Wigderson
Baruch Awerbuch
Christos H. Papadimitriou
David P. Woodruff
Frank Thomson Leighton
Madhu Sudan
Moni Naor
Moses Charikar
Noga Alon
Oded Goldreich
Ran Raz
Russell Impagliazzo
Santosh Vempala
Subhash Khot
Toniann Pitassi
Venkatesan Guruswami
Zvi Galil
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
algorithm
algorithms
applications
approximation
bounds
complexity
extended
graphs
linear
lower
optimal
parallel
polynomial
problem
problems
quantum
random
time
via
FOCS (focs)
Editions
Publications
Viewing Publication 1 - 100 from 4010
2023
Interior-point methods on manifolds: theory and applications
Hiroshi Hirai 0001
,
Harold Nieuwboer
,
Michael Walter 0005
.
focs 2023
:
2021-2030
[doi]
Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization
Lijie Chen 0001
,
Roei Tell
,
Ryan Williams 0001
.
focs 2023
:
1008-1047
[doi]
Polynomial-Time Pseudodeterministic Construction of Primes
Lijie Chen 0001
,
Zhenjian Lu
,
Igor C. Oliveira
,
Hanlin Ren
,
Rahul Santhanam
.
focs 2023
:
1261-1270
[doi]
Planar Disjoint Paths, Treewidth, and Kernels
Michal Wlodarczyk 0001
,
Meirav Zehavi
.
focs 2023
:
649-662
[doi]
Work-Efficient Parallel Derandomization I: Chernoff-like Concentrations via Pairwise Independence
Mohsen Ghaffari 0001
,
Christoph Grunau
,
Václav Rozhon
.
focs 2023
:
1551-1562
[doi]
The Price of Explainability for Clustering
Anupam Gupta 0001
,
Madhusudhan Reddy Pittu
,
Ola Svensson
,
Rachel Yuan
.
focs 2023
:
1131-1148
[doi]
Weighted Pseudorandom Generators via Inverse Analysis of Random Walks and Shortcutting
Lijie Chen 0001
,
William M. Hoza
,
Xin Lyu 0002
,
Avishay Tal
,
Hongxun Wu
.
focs 2023
:
1224-1239
[doi]
Tight Time-Space Lower Bounds for Constant-Pass Learning
Xin Lyu 0002
,
Avishay Tal
,
Hongxun Wu
,
Junzhao Yang
.
focs 2023
:
1195-1202
[doi]
HDX Condensers
Itay Cohen 0003
,
Roy Roth
,
Amnon Ta-Shma
.
focs 2023
:
1649-1664
[doi]
64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023
IEEE,
2023.
[doi]
Parameterized Approximation Schemes for Clustering with General Norm Objectives
Fateme Abbasi
,
Sandip Banerjee
,
Jaroslaw Byrka
,
Parinya Chalermsook
,
Ameet Gadekar
,
Kamyar Khodamoradi
,
Dániel Marx
,
Roohani Sharma
,
Joachim Spoerhase
.
focs 2023
:
1377-1399
[doi]
A proof that Reed-Muller codes achieve Shannon capacity on symmetric channels
Emmanuel Abbe
,
Colin Sandon
.
focs 2023
:
177-193
[doi]
All-Pairs Max-Flow is no Harder than Single-Pair Max-Flow: Gomory-Hu Trees in Almost-Linear Time
Amir Abboud
,
Jason Li 0006
,
Debmalya Panigrahi
,
Thatchaphol Saranurak
.
focs 2023
:
2204-2212
[doi]
The minimal canonical form of a tensor network
Arturo Acuaviva
,
Visu Makam
,
Harold Nieuwboer
,
David Pérez-García
,
Friedrich Sittner
,
Michael Walter 0005
,
Freek Witteveen
.
focs 2023
:
328-362
[doi]
Optimal PAC Bounds without Uniform Convergence
Ishaq Aden-Ali
,
Yeshwanth Cherapanamjeri
,
Abhishek Shetty
,
Nikita Zhivotovskiy
.
focs 2023
:
1203-1223
[doi]
Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms!
Divesh Aggarwal
,
Rajendra Kumar 0002
.
focs 2023
:
2213-2230
[doi]
Singular Value Approximation and Sparsifying Random Walks on Directed Graphs
AmirMahdi Ahmadinejad
,
John Peebles
,
Edward Pyne
,
Aaron Sidford
,
Salil P. Vadhan
.
focs 2023
:
846-854
[doi]
Generalizations of Matrix Multiplication can solve the Light Bulb Problem
Josh Alman
,
Hengjie Zhang
.
focs 2023
:
1471-1495
[doi]
Faster high-accuracy log-concave sampling via algorithmic warm starts
Jason M. Altschuler
,
Sinho Chewi
.
focs 2023
:
2169-2176
[doi]
Sub-quadratic (1+ϵ)-approximate Euclidean Spanners, with Applications
Alexandr Andoni
,
Hengjie Zhang
.
focs 2023
:
98-112
[doi]
Advisor-Verifier-Prover Games and the Hardness of Information Theoretic Cryptography
Benny Applebaum
,
Oded Nir
.
focs 2023
:
539-555
[doi]
Hidden Permutations to the Rescue: Multi-Pass Streaming Lower Bounds for Approximate Matchings
Sepehr Assadi
,
Janani Sundaresan
.
focs 2023
:
909-932
[doi]
*
Ryan Babbush
,
Dominic W. Berry
,
Robin Kothari
,
Rolando D. Somma
,
Nathan Wiebe
.
focs 2023
:
405-414
[doi]
Krylov Methods are (nearly) Optimal for Low-Rank Approximation
Ainesh Bakshi
,
Shyam Narayanan
.
focs 2023
:
2093-2101
[doi]
Extracting Randomness from Samplable Distributions, Revisited
Marshall Ball
,
Eli Goldin
,
Dana Dachman-Soled
,
Saachi Mutreja
.
focs 2023
:
1505-1514
[doi]
Local Computation Algorithms for Maximum Matching: New Lower Bounds
Soheil Behnezhad
,
Mohammad Roghani
,
Aviad Rubinstein
.
focs 2023
:
2322-2335
[doi]
Locally Uniform Hashing
Ioana O. Bercea
,
Lorenzo Beretta 0001
,
Jonas Klausen
,
Jakob Bæk Tejs Houen
,
Mikkel Thorup
.
focs 2023
:
1440-1470
[doi]
Dynamic (1+ϵ)-Approximate Matching Size in Truly Sublinear Update Time
Sayan Bhattacharya
,
Peter Kiss
,
Thatchaphol Saranurak
.
focs 2023
:
1563-1588
[doi]
Chasing Positive Bodies
Sayan Bhattacharya
,
Niv Buchbinder
,
Roie Levin
,
Thatchaphol Saranurak
.
focs 2023
:
1694-1714
[doi]
Testing Graph Properties with the Container Method
Eric Blais
,
Cameron Seth
.
focs 2023
:
1787-1795
[doi]
A strong composition theorem for junta complexity and the boosting of property testers
Guy Blanc
,
Caleb Koch
,
Carmen Strassle
,
Li-Yang Tan
.
focs 2023
:
1757-1777
[doi]
Folklore Sampling is Optimal for Exact Hopsets: Confirming the √n Barrier
Greg Bodwin
,
Gary Hoppenworth
.
focs 2023
:
701-720
[doi]
Bridge Girth: A Unifying Notion in Network Design
Greg Bodwin
,
Gary Hoppenworth
,
Ohad Trabelsi
.
focs 2023
:
600-648
[doi]
The Vector Balancing Constant for Zonotopes
Rainie Bozzai
,
Victor Reis
,
Thomas Rothvoss
.
focs 2023
:
1292-1300
[doi]
Separating MAX 2-AND, MAX DI-CUT and MAX CUT
Joshua Brakensiek
,
Neng Huang
,
Aaron Potechin
,
Uri Zwick
.
focs 2023
:
234-252
[doi]
Parallel Repetition for the GHZ Game: Exponential Decay
Mark Braverman
,
Subhash Khot
,
Dor Minzer
.
focs 2023
:
1337-1341
[doi]
Algorithmic Decorrelation and Planted Clique in Dependent Random Graphs: The Case of Extra Triangles
Guy Bresler
,
Chenghao Guo
,
Yury Polyanskiy
.
focs 2023
:
2149-2158
[doi]
Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster!
Karl Bringmann
,
Alejandro Cassis
,
Nick Fischer
.
focs 2023
:
515-538
[doi]
Constant-Factor Approximation Algorithms for Convex Cover and Hidden Set in a Simple Polygon
Reilly Browne
,
Prahlad Narasimhan Kasthurirangan
,
Joseph S. B. Mitchell
,
Valentin Polishchuk
.
focs 2023
:
1357-1365
[doi]
One Tree to Rule Them All: Poly-Logarithmic Universal Steiner Tree
Costas Busch
,
Da Qi Chen
,
Arnold Filtser
,
Daniel Hathcock
,
D. Ellis Hershkowitz
,
Rajmohan Rajaraman
.
focs 2023
:
60-76
[doi]
Canonical decompositions of 3-connected graphs
Johannes Carmesin
,
Jan Kurkofka
.
focs 2023
:
1887-1920
[doi]
Optimal Algorithms for Bounded Weighted Edit Distance
Alejandro Cassis
,
Tomasz Kociumaka
,
Philip Wellnitz
.
focs 2023
:
2177-2187
[doi]
Faster Algorithms for Text-to-Pattern Hamming Distances
Timothy M. Chan
,
Ce Jin 0001
,
Virginia Vassilevska Williams
,
Yinzhan Xu
.
focs 2023
:
2188-2203
[doi]
Covering Planar Metrics (and Beyond): O(1) Trees Suffice
Hsien-Chih Chang
,
Jonathan Conroy
,
Hung Le
,
Lazar Milenkovic
,
Shay Solomon
,
Cuong Than
.
focs 2023
:
2231-2261
[doi]
Triplet Reconstruction and all other Phylogenetic CSPs are Approximation Resistant
Vaggos Chatziafratis
,
Konstantin Makarychev
.
focs 2023
:
253-284
[doi]
Uniqueness and Rapid Mixing in the Bipartite Hardcore Model (extended abstract)
Xiaoyu Chen
,
Jingcheng Liu 0005
,
Yitong Yin
.
focs 2023
:
1991-2005
[doi]
Query lower bounds for log-concave sampling
Sinho Chewi
,
Jaume de Dios Pont
,
Jerry Li 0001
,
Chen Lu 0002
,
Shyam Narayanan
.
focs 2023
:
2139-2148
[doi]
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Jonas Conneryd
,
Susanna F. de Rezende
,
Jakob Nordström
,
Shuo Pang
,
Kilian Risse
.
focs 2023
:
1-11
[doi]
Clique Is Hard on Average for Unary Sherali-Adams
Susanna F. de Rezende
,
Aaron Potechin
,
Kilian Risse
.
focs 2023
:
12-25
[doi]
A Randomized Algorithm for Single-Source Shortest Path on Undirected Real-Weighted Graphs
Ran Duan
,
Jiayi Mao
,
Xinkai Shu
,
Longhui Yin
.
focs 2023
:
484-492
[doi]
Constant Approximation for Private Interdependent Valuations
Alon Eden
,
Michal Feldman
,
Kira Goldner
,
Simon Mauras
,
Divyarthi Mohan
.
focs 2023
:
148-163
[doi]
Path-Reporting Distance Oracles with Logarithmic Stretch and Size O(n log log n)
Michael Elkin
,
Idan Shabat
.
focs 2023
:
2278-2311
[doi]
A deterministic near-linear time approximation scheme for geometric transportation
Emily Fox
,
Jiashuai Lu
.
focs 2023
:
1301-1315
[doi]
On Symmetric Factorizations of Hankel Matrices
Mehrdad Ghadiri
.
focs 2023
:
2081-2092
[doi]
Fast Numerical Multivariate Multipoint Evaluation
Sumanta Ghosh
,
Prahladh Harsha
,
Simao Herdade
,
Mrinal Kumar 0001
,
Ramprasad Saptharishi
.
focs 2023
:
1426-1439
[doi]
On Lifting Integrality Gaps to SSEH Hardness for Globally Constrained CSPs
Suprovat Ghoshal
,
Euiwoong Lee
.
focs 2023
:
26-36
[doi]
From Grassmannian to Simplicial High-Dimensional Expanders
Louis Golowich
.
focs 2023
:
1639-1648
[doi]
Sparse Submodular Function Minimization
Andrei Graur
,
Haotian Jiang
,
Aaron Sidford
.
focs 2023
:
2071-2080
[doi]
Online Ordinal Problems: Optimality of Comparison-based Algorithms and their Cardinal Complexity
Nick Gravin
,
Enze Sun
,
Zhihao Gavin Tang
.
focs 2023
:
1863-1876
[doi]
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Martin Grohe
,
Moritz Lichter
,
Daniel Neuen
,
Pascal Schweitzer
.
focs 2023
:
798-809
[doi]
Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold
Venkatesan Guruswami
,
Jun-Ting Hsieh
,
Pravesh K. Kothari
,
Peter Manohar
.
focs 2023
:
307-327
[doi]
Top-Down Lower Bounds for Depth-Four Circuits
Mika Göös
,
Artur Riazanov
,
Anastasia Sofronova
,
Dmitry Sokolov 0001
.
focs 2023
:
1048-1055
[doi]
Query-optimal estimation of unitary channels in diamond distance
Jeongwan Haah
,
Robin Kothari
,
Ryan O'Donnell
,
Ewin Tang
.
focs 2023
:
363-390
[doi]
Doubley-Efficient Interactive Proofs for Distribution Properties
Tal Herman
,
Guy N. Rothblum
.
focs 2023
:
743-751
[doi]
Learning in Pessiland via Inductive Inference
Shuichi Hirahara
,
Mikito Nanashima
.
focs 2023
:
447-457
[doi]
Envy-Free Cake-Cutting for Four Agents
Alexandros Hollender
,
Aviad Rubinstein
.
focs 2023
:
113-122
[doi]
On small-depth Frege proofs for PHP
Johan Håstad
.
focs 2023
:
37-49
[doi]
SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle
Rahul Ilango
.
focs 2023
:
733-742
[doi]
Sparsifying Sums of Norms
Arun Jambulapati
,
James R. Lee
,
Yang P. Liu
,
Aaron Sidford
.
focs 2023
:
1953-1962
[doi]
List Decoding of Tanner and Expander Amplified Codes from Distance Certificates
Fernando Granha Jeronimo
,
Shashank Srivastava
,
Madhur Tulsiani
.
focs 2023
:
1682-1693
[doi]
Computing linear sections of varieties: quantum entanglement, tensor decompositions and beyond
Nathaniel Johnston
,
Benjamin Lovitz
,
Aravindan Vijayaraghavan
.
focs 2023
:
1316-1336
[doi]
Sensitivity and Dynamic Distance Oracles via Generic Matrices and Frobenius Form
Adam Karczmarz
,
Piotr Sankowski
.
focs 2023
:
1745-1756
[doi]
Strong Bounds for 3-Progressions
Zander Kelley
,
Raghu Meka
.
focs 2023
:
933-973
[doi]
Matrix Completion in Almost-Verification Time
Jonathan A. Kelner
,
Jerry Li 0001
,
Allen Liu
,
Aaron Sidford
,
Kevin Tian
.
focs 2023
:
2102-2128
[doi]
Collapsing the Hierarchy of Compressed Data Structures: Suffix Arrays in Optimal Compressed Space
Dominik Kempa
,
Tomasz Kociumaka
.
focs 2023
:
1877-1886
[doi]
Thin Trees for Laminar Families
Nathan Klein
,
Neil Olver
.
focs 2023
:
50-59
[doi]
2/3 Hyperplanes
Ohad Klein
.
focs 2023
:
1931-1936
[doi]
Properly learning decision trees with queries is NP-hard
Caleb Koch
,
Carmen Strassle
,
Li-Yang Tan
.
focs 2023
:
2383-2407
[doi]
Approximating Edit Distance in the Fully Dynamic Model
Tomasz Kociumaka
,
Anish Mukherjee 0001
,
Barna Saha
.
focs 2023
:
1628-1638
[doi]
Improved Approximations for Vector Bin Packing via Iterative Randomized Rounding
Ariel Kulik
,
Matthias Mnich
,
Hadas Shachnai
.
focs 2023
:
1366-1376
[doi]
Lipschitz Continuous Algorithms for Graph Problems
Soh Kumabe
,
Yuichi Yoshida
.
focs 2023
:
762-797
[doi]
Strongly History-Independent Storage Allocation: New Upper and Lower Bounds
William Kuszmaul
.
focs 2023
:
1822-1841
[doi]
Agnostic proper learning of monotone functions: beyond the black-box correction barrier
Jane Lange
,
Arsen Vasilyan
.
focs 2023
:
1149-1170
[doi]
Optimal Fault-Tolerant Spanners in Euclidean and Doubling Metrics: Breaking the Ω (log n) Lightness Barrier
Hung Le
,
Shay Solomon
,
Cuong Than
.
focs 2023
:
77-97
[doi]
Improved Hardness of Approximating k-Clique under ETH
Bingkai Lin
,
Xuandi Ren
,
Yican Sun
,
Xiuhan Wang
.
focs 2023
:
285-306
[doi]
Toward Better Depth Lower Bounds: A KRW-like theorem for Strong Composition
Or Meir
.
focs 2023
:
1056-1081
[doi]
Traversing combinatorial 0/1-polytopes via optimization
Arturo I. Merino
,
Torsten Mütze
.
focs 2023
:
1282-1291
[doi]
stateQIP = statePSPACE
Tony Metger
,
Henry Yuen
.
focs 2023
:
1349-1356
[doi]
Optimal Testing of Generalized Reed-Muller Codes in Fewer Queries
Dor Minzer
,
Kai Zhe Zheng
.
focs 2023
:
206-233
[doi]
Bounding the Quantum Value of Compiled Nonlocal Games: From CHSH to BQP Verification
Anand Natarajan
,
Tina Zhang
.
focs 2023
:
1342-1348
[doi]
Explicit orthogonal and unitary designs
Ryan O'Donnell
,
Rocco A. Servedio
,
Pedro Paredes 0002
.
focs 2023
:
1240-1260
[doi]
Convergence of Approximate and Packet Routing Equilibria to Nash Flows Over Time
Neil Olver
,
Leon Sering
,
Laura Vargas Koch
.
focs 2023
:
123-133
[doi]
Secure Computation Meets Distributed Universal Optimality
Merav Parter
.
focs 2023
:
2336-2368
[doi]
The Subspace Flatness Conjecture and Faster Integer Programming
Victor Reis
,
Thomas Rothvoss
.
focs 2023
:
974-988
[doi]
Gilbert and Varshamov Meet Johnson: List-Decoding Explicit Nearly-Optimal Binary Codes
Silas Richelson
,
Sourya Roy
.
focs 2023
:
194-205
[doi]
Distribution of the threshold for the symmetric perceptron
Ashwin Sah
,
Mehtaab Sawhney
.
focs 2023
:
2369-2382
[doi]
Flip-width: Cops and Robber on dense graphs
Szymon Torunczyk
.
focs 2023
:
663-700
[doi]
Deterministic Fully Dynamic SSSP and More
Jan van den Brand
,
Adam Karczmarz
.
focs 2023
:
2312-2321
[doi]
A Deterministic Almost-Linear Time Algorithm for Minimum-Cost Flow
Jan van den Brand
,
Li Chen 0028
,
Richard Peng
,
Rasmus Kyng
,
Yang P. Liu
,
Maximilian Probst Gutenberg
,
Sushant Sachdeva
,
Aaron Sidford
.
focs 2023
:
503-514
[doi]
Faster High Accuracy Multi-Commodity Flow from Single-Commodity Techniques
Jan van den Brand
,
Daniel J. Zhang
.
focs 2023
:
493-502
[doi]
Sign in
or
sign up
to see more results.