-
1
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs
Published 2023-01-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
2
Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing
Published 2022-12-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
3
Perfect Matching in Random Graphs is as Hard as Tseitin
Published 2022-12-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
4
-
5
Testing Distributions of Huge Objects
Published 2023-12-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
6
Conditional Dichotomy of Boolean Ordered Promise CSPs
Published 2023-01-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
7
The Complexity of Iterated Reversible Computation
Published 2023-12-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
8
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
Published 2023-02-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
9
Fully Dynamic Connectivity in $O(\log n(\log\log n)^2)$ Amortized Expected Time
Published 2023-05-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
10
A simple polynomial-time approximation algorithm for the total variation distance between two product distributions
Published 2023-06-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
11
A Robust Version of Heged\H{u}s's Lemma, with Applications
Published 2023-03-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
12
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
Published 2023-01-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
13
All about unambiguous polynomial closure
Published 2024-01-01“…TheoretiCS Foundation e.V.…”
Get full text
Article -
14
Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for $\Delta$-Coloring
Published 2023-08-01“…TheoretiCS Foundation e.V.…”
Get full text
Article