TFNP Characterizations of Proof Systems and Monotone Circuits.

Sam Buss Noah Fleming Russell Impagliazzo

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

artificial intelligence
search engine
management system
distributed systems
knowledge based systems
digital circuits
databases
building blocks
computer vision
high speed
computer systems