Non-Transitive Transfer of Confidence: A Perfect ZeroKnowledge Interactive Protocol for SAT and Beyond (1986)

by G Brassard, C Crépeau
Venue:Proceedings of the 27th IEEE Symposium on Foundations of Computer Science