It is not the case that Representation-dependent hardness is empirically observed in SAT solvers, where encoding choices dramatically affect provability.
?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.