Stem nonisomorph$ (all stems)
1 papers:
STOC-1999-KlivansM #graph #morphism #polynomial #proving- Graph Nonisomorphism has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses (AK, DvM), pp. 659–667.
STOC-1999-KlivansM #graph #morphism #polynomial #proving