A Survey of Lower Bounds for Satisfiability and Related Problems
85.90 EUR
Eine tiefgehende Analyse der theoretischen Untergrenzen in Erfüllbarkeitsproblemen; das Buch verbindet klassische Komplexitätstheorie mit aktuellen Beweistechniken, beleuchtet algorithmische Grenzen und eröffnet neue Forschungsansätze.