Talks
Fall 2015

Improved Deterministic Algorithms for Sparse Max-SAT

Friday, November 6th, 2015, 11:00 am11:30 am

Add to Calendar

We give improved deterministic algorithms solving MAX-SAT on instances with cn clauses, achieving running time 2^{n-\Omega(n/c)} with a polynomial-space algorithm, and running time 2^{n-\Omega(n/\sqrt{c}} with an exponential-space algorithm.