
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