Hardness and Optimality in QBF Proof Systems Modulo NP.

Published in: SAT (2021)

Keyphrases

distributed systems
computational complexity
np complete
expert systems
intelligent systems
complex systems
learning algorithm
computer systems
knowledge based systems
building blocks