Canonical Disjoint NP-Pairs of Propositional Proof Systems.

Christian Glaßer Alan L. Selman Liyu Zhang

Published in: MFCS (2005)

Keyphrases

complex systems
pairwise
genetic algorithm
computer vision
expert systems
database
real time
machine learning
computational complexity
management system
special case
distributed systems
uniform distribution