Login / Signup
Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems
Christian Glaßer
Alan L. Selman
Liyu Zhang
Published in:
Electron. Colloquium Comput. Complex. (2005)
Keyphrases
</>
pairwise
computer systems
similarity measure
real time
management system
distributed systems
building blocks
expert systems
np hard
data collection
learning systems
retrieval systems
theorem proving
literature review