البيان رقم صفر

Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing

Backlinks

Reference. Faster k-SAT algorithms using biased-PPSZ

23 June 2019