Faster k-SAT Algorithms Using Biased-PPSZ
Speaker
Or Zamir
Tel Aviv University
Host
Govind Ramnarayan, Quanquan Liu, Sitan Chen, Nikhil Vyas
MIT CSAIL