It is not the case that CoNP membership fundamentally requires polynomial-length certificates verifiable in polynomial time, not just logical soundness.
?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.