Using nondeterminism to amplify hardness

From MaRDI portal
Publication:3580969