Canonical Disjoint NP-Pairs of Propositional Proof Systems

Christian Glaßer Alan L. Selman Liyu Zhang

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

Keyphrases

pairwise
building blocks
propositional logic
information retrieval
website
case study
distributed systems
learning systems
data sets
computer vision
information systems
np hard
intelligent systems
complex systems
theorem proving