Disjoint NP-Pairs and Propositional Proof Systems.

Christian Glaßer Andrew Hughes Alan L. Selman Nils Wisiol

Published in: SIGACT News (2014)

Keyphrases

pairwise
artificial intelligence
distributed systems
management system
propositional logic
database
real time
databases
neural network
information retrieval
computer vision
computational complexity
np hard
learning systems
complex systems