冯伟明;郭恒;尹，伊通;张赤豪 局部引理区域中的快速采样和计数（k）-SAT解。 （英语） Zbl 07298293号 Makarychev，Konstantin（ed.）等人，第52届ACM SIGACT计算理论年度研讨会论文集，STOC’20，芝加哥，伊利诺伊州，美国，2020年6月22日至26日。纽约州纽约市：计算机协会（ACM）。854-867 (2020). 引用于1文件 MSC公司： 68季度xx 计算理论 关键词：\（k）-SAT;Lovász局部引理;马尔科夫蒙特卡洛;近似计数 PDF格式BibTeX公司 XML格式引用 \textit{W.Feng}等人，摘自：第52届ACM SIGACT计算理论年会论文集，STOC’20，芝加哥，伊利诺伊州，美国，2020年6月22日至26日。纽约州纽约市：计算机协会（ACM）。854-867（2020年；兹bl 07298293） 全文： 内政部 arXiv公司