Login / Signup
Hardness and Optimality in QBF Proof Systems Modulo NP.
Leroy Chew
Published in:
Electron. Colloquium Comput. Complex. (2018)
Keyphrases
</>
np hard
computational complexity
np complete
management system
computer systems
complex systems
data sets
expert systems
knowledge representation