Login / Signup

Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems.

Christian GlaßerAlan L. SelmanLiyu Zhang
Published in: Essays in Memory of Shimon Even (2006)
Keyphrases
  • data sets
  • pairwise
  • management system
  • distributed systems
  • intelligent systems
  • np complete
  • semantic relations
  • default logic
  • database
  • artificial intelligence
  • learning systems
  • first order logic
  • retrieval systems