On hardly linearly provable systems /
A well-known theorem of Rabin yields a dimensional lower bound on the width of complete polynomial proofs of a system of linear algebraic inequalities. In this note we investigate a practically motivated class of systems where the same lower bound can be obtained on the width of almost all (noncompl...
| Hlavní autor: |
Morávek, Jaroslav, 1940-1986
(
Autor )
|
|---|---|
| Typ dokumentu: | Článek |
| Jazyk: |
angličtina |
| ISSN: | 0373-6725 |
| Zdroj: | Aplikace matematiky: Volume 29, issue 4 (1984), page 286-293. |
| Předmět: | |
| Externí odkaz: |
Plný text DOI 
|