Tag: linear vs exponential SAT Math