Erforscht die fundamentalen Grenzen der Erfüllbarkeitsprobleme aus einer neuen Perspektive: das Buch verbindet klassische Komplexitätstheorie mit aktuellen Techniken, beleuchtet innovative Beweismethoden und eröffnet damit neue Ansatzpunkte für theoretische Forschung und praktische Anwendungen.