New bounds for the Moser‐Tardos distribution
From MaRDI portal
Publication:5120743
DOI10.1002/rsa.20914zbMath1451.05240arXiv1610.09653OpenAlexW3010637297MaRDI QIDQ5120743
Publication date: 16 September 2020
Published in: Random Structures & Algorithms (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.09653
Boolean satisfiabilityLovász local lemmaLatin transversalsindependent transversalsMoser-Tardos algorithm
Related Items (2)
Deterministic algorithms for the Lovász local lemma: Simpler, more general, and more parallel ⋮ Dynamic Sampling from Graphical Models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lopsided Lovász Local lemma and Latin transversals
- Extremal problems for transversals in graphs with bounded degree
- On a problem of Spencer
- Transversals of latin squares and their generalizations
- On complete subgraphs of \(r\)-chromatic graphs
- Independent transversals in locally sparse graphs
- A Note on Vertex List Colouring
- Quest for Negative Dependency Graphs
- An Improvement of the Lovász Local Lemma via Cluster Expansion
- Small-Bias Probability Spaces: Efficient Constructions and Applications
- Random Walks That Find Perfect Objects and the Lovász Local Lemma
- The Local Lemma Is Asymptotically Tight for SAT
- An Extension of the Moser--Tardos Algorithmic Local Lemma
- A constructive proof of the general lovász local lemma
- Parallel Algorithms and Concentration Bounds for the Lovász Local Lemma via Witness DAGs
- Commutativity in the Algorithmic Lovász Local Lemma
- Algorithmic and Enumerative Aspects of the Moser-Tardos Distribution
- Lopsidependency in the Moser-Tardos Framework
- The Moser--Tardos Framework with Partial Resampling
- Oblivious resampling oracles and parallel algorithms for the Lopsided Lovász Local Lemma
- Approximate Counting, the Lovász Local Lemma, and Inference in Graphical Models
- Uniform Sampling Through the Lovász Local Lemma
- New Constructive Aspects of the Lovász Local Lemma
- Moser and tardos meet Lovász
- Coloring Graphs with Dense Neighborhoods
This page was built for publication: New bounds for the Moser‐Tardos distribution