Haim Kaplan

Works by or with Haim Kaplan in the bibliography:

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