Raghu Meka (IAS, work done at MSR, SVC) Parikshit Gopalan (MSR, SVC) Omer Reingold (MSR, SVC)
DNF Sparsification and Counting. Raghu Meka (IAS, work done at MSR, SVC) Parikshit Gopalan (MSR, SVC) Omer Reingold (MSR, SVC). Can we Count?. 533,816,322,048!. O(1). Count proper 4-colorings?. Can we Count?. Seriously?. Count satisfying solutions to a 2-SAT formula?
289 views • 27 slides