A Survey of Lower Bounds for Satisfiability and Related Problems

Dieter van Melkebeek. A Survey of Lower Bounds for Satisfiability and Related Problems. Foundations and Trends in Theoretical Computer Science, 2(3):197-303, 2006. [doi]

No reviews for this publication, yet.