It is not the case that Haken's exponential lower bound applies to the *formula class* PHP_n itself, not just one syntactic instance—alternative encodings are equivalent.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.