Probabilistically Checkable Arguments for all NP.

Shany Ben-David

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

computational complexity
np complete
argumentation frameworks
cooperative
website
np hard
knowledge base
information technology
hidden markov models