Or Zamir

Works by or with Or Zamir in the bibliography:

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