NP-Completeness, Proof Systems, and Disjoint NP-Pairs.

Titus Dose Christian Glaßer

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

Keyphrases

pairwise
intelligent systems
complex systems
theorem proving
computational complexity
distributed systems
building blocks
systems require
computer vision
expert systems
hidden markov models
software engineering
computer systems
retrieval systems
linear logic