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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.