On provably disjoint NP pairs (1994)

by A Razborov
Venue:Electronic Colloquium on Computational Complexity