Showing results 1 to 4 of 4
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Fast sampling and counting K-SAT solutions in the local lemma regime Proceeding/Conference:Proceedings of the Annual ACM Symposium on Theory of Computing | 2020 | ||
Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime Journal:Journal of the ACM | 2021 | ||
Rapid mixing from spectral independence beyond the Boolean domain Proceeding/Conference:Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms | 2021 | ||
Rapid Mixing from Spectral Independence beyond the Boolean Domain Journal:ACM Transactions on Algorithms | 2022 |