Proofs and certificates
Which statements have short proofs, and how do proof methods compare?
3 problemsCollections
Selected problems that share a subject or a research tradition. Each leads to its own overview and sources.
Within Proof complexity · All collections