Sie wandelt jedes NP-Problem in ein SAT-Problem um.
Sie beweist die polynomiale Äquivalenz aller NP-Probleme.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art