Conference
Learning CNF Formulas from Uniform Random Solutions in the Local Lemma Regime
| Τίτλος: | Learning CNF Formulas from Uniform Random Solutions in the Local Lemma Regime |
|---|---|
| Συγγραφείς: | Feng, Weiming, Yang, Xiongxin, Yu, Yixiao, Zhang, Yiyao |
| Πηγή: | Proceedings of the 58th Annual ACM Symposium on Theory of Computing. :478-488 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3798129.3800766 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3798129.3800766 |
|---|