P≠NP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle.

Published in: CoRR (2019)

Keyphrases

dynamic programming
management system
computational complexity
distributed systems
computer systems
database
artificial intelligence
evolutionary algorithm
query language
data management