Proof system representations of degrees of disjoint NP-pairs.

Published in: Inf. Process. Lett. (2011)

Keyphrases

pairwise
computational complexity
databases
artificial intelligence
multi agent
symbolic representation
external representations
database
data sets
machine learning
information systems
np hard
state space