Back to Results
First PageMeta Content
NP / Computational complexity theory / Operator theory / Karp–Lipton theorem / 3-dimensional matching / Mathematics / Applied mathematics / Function


Canonical Disjoint NP-Pairs of Propositional Proof Systems Christian Glaßer ∗ Alan L. Selman†
Add to Reading List

Document Date: 2004-11-19 10:15:58

Open Document

File Size: 168,52 KB

Share Result on Facebook

City

Buffalo / /

Company

Min / /

Country

Germany / /

Currency

pence / /

/

IndustryTerm

propositional proof systems / computable operator / proof systems / exhaustive search / /

Movie

D. 2 / /

Organization

National Science Foundation / Department of Computer Science and Engineering / /

Person

Christian Glaßer / Alan L. Selman† Liyu Zhang / /

/

Position

Prime Minister / /

Product

Pentax K-x Digital Camera / /

ProvinceOrState

New York / /

SocialTag