Fast Sampling and Counting <i>k</i> -SAT Solutions in the Local Lemma Regime (Q5056428)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Fast Sampling and Counting k -SAT Solutions in the Local Lemma Regime |
scientific article; zbMATH DE number 7629044
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fast Sampling and Counting <i>k</i> -SAT Solutions in the Local Lemma Regime |
scientific article; zbMATH DE number 7629044 |
Statements
Fast Sampling and Counting <i>k</i> -SAT Solutions in the Local Lemma Regime (English)
0 references
8 December 2022
0 references
Markov chain Monte Carlo
0 references
Lovász local lemma
0 references
\(k\)-SAT
0 references
approximate counting
0 references
