Uri Zwick

Works by or with Uri Zwick in the bibliography:

• Faster k-SAT algorithms using biased-PPSZ (2019)