The amount of information in SAT grows exponentially with input size, requiring algorithms with exponential information to solve.
