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]
@inproceedings{HansenKZZ19,
title = {k-SAT algorithms using biased-PPSZ},
author = {Thomas Dueholm Hansen and Haim Kaplan and Or Zamir and Uri Zwick},
year = {2019},
doi = {10.1145/3313276.3316359},
url = {https://doi.org/10.1145/3313276.3316359},
researchr = {https://researchr.org/publication/HansenKZZ19},
cites = {0},
citedby = {0},
pages = {578-589},
booktitle = {Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26, 2019},
editor = {Moses Charikar and Edith Cohen},
publisher = {ACM},
isbn = {978-1-4503-6705-9},
}