Back to Events

Faster k-SAT Algorithms Using Biased-PPSZ

Speaker

Or Zamir
Tel Aviv University

Host

Govind Ramnarayan, Quanquan Liu, Sitan Chen, Nikhil Vyas
MIT CSAIL

September 18 2019

4:00P - 5:00P

Location

32-G575
https://toc.csail.mit.edu/node/1340
Add to Calendar 2019-09-18 16:00:00 2019-09-18 17:00:00 America/New_York Faster k-SAT Algorithms Using Biased-PPSZ https://toc.csail.mit.edu/node/1340 32-G575

Organizer & Contact

Rebecca Yadegar

Part of

Related Events