相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Approximate Counting, the Lovasz Local Lemma, and Inference in Graphical Models
Ankur Moitra
JOURNAL OF THE ACM (2019)
Uniform Sampling Through the Lovasz Local Lemma
Heng Guo et al.
JOURNAL OF THE ACM (2019)
The Moser-Tardos Framework with Partial Resampling
David G. Harris et al.
JOURNAL OF THE ACM (2019)
COMMUTATIVITY IN THE ALGORITHMIC LOV ASZ LOCAL LEMMA
Vladimir Kolmogorov
SIAM JOURNAL ON COMPUTING (2018)
A Constructive Lovasz Local Lemma for Permutations
David G. Harris et al.
THEORY OF COMPUTING (2017)
Parallel Algorithms and Concentration Bounds for the Lovasz Local Lemma via Witness DAGs
Bernhard Haeupler et al.
ACM TRANSACTIONS ON ALGORITHMS (2017)
Lopsidependency in the Moser-Tardos Framework: Beyond the Lopsided Lovasz Local Lemma
David G. Harris
ACM TRANSACTIONS ON ALGORITHMS (2016)
The Local Lemma Is Asymptotically Tight for SAT
Heidi Gebauer et al.
JOURNAL OF THE ACM (2016)
Random Walks That Find Perfect Objects and the Lovasz Local Lemma
Dimitris Achlioptas et al.
JOURNAL OF THE ACM (2016)
An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles
Nicholas J. A. Harvey et al.
2015 IEEE 56TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (2015)
Coloring Graphs with Dense Neighborhoods
Landon Rabern
JOURNAL OF GRAPH THEORY (2014)
AN EXTENSION OF THE MOSER-TARDOS ALGORITHMIC LOCAL LEMMA
Wesley Pegden
SIAM JOURNAL ON DISCRETE MATHEMATICS (2014)
An Improvement of the Lovasz Local Lemma via Cluster Expansion
Rodrigo Bissacot et al.
COMBINATORICS PROBABILITY & COMPUTING (2011)
New Constructive Aspects of the Lovasz Local Lemma
Bernhard Haeupler et al.
JOURNAL OF THE ACM (2011)
A Constructive Proof of the General Lovasz Local Lemma
Robin A. Moser et al.
JOURNAL OF THE ACM (2010)
Independent transversals in locally sparse graphs
Po-Shen Loh et al.
JOURNAL OF COMBINATORIAL THEORY SERIES B (2007)
Extremal problems for transversals in graphs with bounded degree
Tibor Szabo et al.
COMBINATORICA (2006)
A note on vertex list colouring
PE Haxell
COMBINATORICS PROBABILITY & COMPUTING (2001)