A Survey of Lower Bounds for Satisfiability and Related Problems
91.49 EUR85.44 EUR7% Off
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.