Thomas Dueholm Hansen, Haim Kaplan, Or Zamir, Uri Zwick. k-SAT algorithms using biased-PPSZ. In Moses Charikar, Edith Cohen, editors, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26, 2019. pages 578-589, ACM, 2019. [doi]
Abstract is missing.