A Survey of Lower Bounds for Satisfiability and Related Problems (Foundations and Trends(r) in Theoretical Computer Science)
Ein detaillierter Überblick über die theoretischen Untergrenzen von Erfüllbarkeitsproblemen; das Buch führt durch klassische Komplexitätstheorie, ...