About this scholarly article

Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019 - Faster k -SAT algorithms using biased-PPSZ by Hansen, Thomas Dueholm; Kaplan, Haim; Zamir, Or; Zwick, Uri is a scholarly article available to read on EtoBox.

Author

Hansen, Thomas Dueholm; Kaplan, Haim; Zamir, Or; Zwick, Uri

Publisher

ACM Press

Published

2019