Die Ramsey-Theorie ist ein Teilgebiet der Kombinatorik, das Fragen der folgenden Art stellt: Wie groß muss eine Menge sein, damit, wenn sie in Teilmengen unterteilt wird, mindestens eine Teilmenge eine bestimmte Eigenschaft hat? In diesem Kapitel stellen wir einfache Fälle von vier Problemen vor: Schur-Tripel, pythagoreische Tripel, van der Waerdens Problem und den Satz von Ramsey. Wir geben einen Überblick über das sogenannten SAT-Solving – eine Methode, mit der das Problem der pythagoreischen Tripel gelöst wurde.