Simple doubly-efficient interactive proof systems for locally-characterizable sets

Published: 2017, Last Modified: 16 May 2025Electron. Colloquium Comput. Complex. 2017EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading