19 search results - page 1 / 4 » A new short proof of a theorem of Ahlswede and Khachatrian |
JCT
2008
13 years 11 months ago
2008
COMBINATORICA
1999
13 years 10 months ago
1999
CORR
2011
Springer
13 years 5 months ago
2011
Springer
The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen [7] gives us a powerful operational interpretation of the observational divergence of two quantum states, a quanti...
STOC
1999
ACM
14 years 3 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
DIAGRAMS
2004
Springer
14 years 4 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...