4 search results - page 1 / 1 » Survey of Disjoint NP-pairs and Relations to Propositional P... |
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
COCO
2003
Springer
13 years 10 months ago
2003
Springer
We study the question of whether the class DisjNP of disjoint pairs (A, B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof system...
COCOON
2007
Springer
13 years 11 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
DLOG
2004
13 years 6 months ago
2004
Interoperability among systems using different term vocabularies requires mappings between them. Matching applications generate these mappings. When the matching process utilizes ...