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 references recorded for this publication.
No citations of this publication recorded.