Twin-width I: Tractable FO Model Checking.
Invited Article Foreword.
The Art Gallery Problem is ∃ℝ-complete.
Smooth Approximation of Lipschitz Maps and Their Subgradients.
Locally-iterative Distributed (Δ + 1)-coloring and Applications.
Optimal Bounds for the
The Complexity and Expressive Power of Limit Datalog.
How to Delegate Computations: The Power of No-Signaling Proofs.