Canonical disjoint NP-pairs of propositional proof systems.

Christian Glaßer Alan L. Selman Liyu Zhang

Published in: Theor. Comput. Sci. (2007)

Keyphrases

pairwise
management system
complex systems
data sets
expert systems
distributed systems
intelligent systems
database
neural network
data mining
learning algorithm
artificial intelligence
computer vision
database systems
computational complexity
np complete