Cited publications in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing:Faster k-SAT algorithms using biased-PPSZ (2019)