Search results
- 1.0403463 - UIVT-O 20020001 RIV DE eng J - Journal Article
Savický, Petr - Sgall, Jiří
DNF Tautologies with a Limited Number of Occurrences of Every Variable.
Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR GA201/98/0717; GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠMT ME 103
Institutional research plan: AV0Z1030915
Keywords : disjunctive normal form * tautology * occurences of variable
Subject RIV: BA - General Mathematics
Impact factor: 0.417, year: 2000
Permanent Link: http://hdl.handle.net/11104/0123768 - 2.0175422 - MU-W 20030176 RIV NL eng J - Journal Article
Pudlák, Pavel
A Note On the Use of Determinant for Proving Lower Bounds on the Size of Linear Circuits.
Information Processing Letters. Roč. 74, č. 2 (2000), s. 197-201. ISSN 0020-0190. E-ISSN 1872-6119
R&D Projects: GA AV ČR IAA1019602; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : computational complexity * matrix * determinant
Subject RIV: BA - General Mathematics
Impact factor: 0.360, year: 2000
Permanent Link: http://hdl.handle.net/11104/0072405File Download Size Commentary Version Access Pudlak1.pdf 1 65.7 KB Publisher’s postprint require - 3.0175421 - MU-W 20030175 RIV NL eng J - Journal Article
Codenotti, B. - Pudlák, Pavel - Resta, J.
Some structural properties of low rank matrices related to computational complexity.
Theoretical Computer Science. Roč. 235, č. 1 (2000), s. 89-107. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA AV ČR IAA1019602; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : matrix rigidity * low-rank matrices * cycles in graphs
Subject RIV: BA - General Mathematics
Impact factor: 0.417, year: 2000
Permanent Link: http://hdl.handle.net/11104/0072404File Download Size Commentary Version Access Pudlak.pdf 1 139 KB Publisher’s postprint require - 4.0175225 - MU-W 20020113 RIV CH eng J - Journal Article
Edmonds, J. - Impagliazzo, R. - Rudich, S. - Sgall, Jiří
Communication complexity towards lower bounds on circuit depth.
Computational Complexity. Roč. 10, č. 3 (2001), s. 210-246. ISSN 1016-3328. E-ISSN 1420-8954
R&D Projects: GA AV ČR IAA1019602; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA ČR GA201/01/1195; GA MŠMT ME 103
Keywords : communication complexity%lower bounds
Subject RIV: BA - General Mathematics
Impact factor: 0.448, year: 2001
Permanent Link: http://hdl.handle.net/11104/0072210File Download Size Commentary Version Access Sgall1.pdf 1 556.3 KB Publisher’s postprint require - 5.0175123 - MU-W 20025074 RIV GB eng J - Journal Article
Krajíček, Jan
Uniform families of polynomial equations over a finite field and structures admitting an euler characteristic of definable sets.
Proceedings of the London Mathematical Society. Roč. 81, č. 2 (2000), s. 257-284. ISSN 0024-6115. E-ISSN 1460-244X
R&D Projects: GA AV ČR IAA1019602; GA MŠMT ME 103
Keywords : following system of polynomial equations
Subject RIV: BA - General Mathematics
Impact factor: 0.948, year: 2000
Permanent Link: http://hdl.handle.net/11104/0072112File Download Size Commentary Version Access Krajicek1.pdf 1 3 MB Author’s postprint require - 6.0175118 - MU-W 20025169 RIV US eng J - Journal Article
Sgall, Jiří - Epstein, L. - Noga, J. - Seiden, S. S. - Woeginger, G. J.
Randomized online scheduling for two related machines.
Journal of Scheduling. Roč. 4, č. 2 (2001), s. 71-92. ISSN 1094-6136. E-ISSN 1099-1425
R&D Projects: GA AV ČR IAA1019901; GA AV ČR IAA1019602; GA MŠMT ME 103
Keywords : online algorithms%scheduling
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0072107 - 7.0175116 - MU-W 20025167 RIV US eng J - Journal Article
Avidor, A. - Azar, Y. - Sgall, Jiří
Ancient and new algorithms for load balancing in the Lp norm.
Algorithmica. Roč. 29, č. 3 (2001), s. 422-441. ISSN 0178-4617. E-ISSN 1432-0541
R&D Projects: GA AV ČR IAA1019602
Keywords : online algorithms%scheduling
Subject RIV: BA - General Mathematics
Impact factor: 0.477, year: 2001
Permanent Link: http://hdl.handle.net/11104/0072105 - 8.0175005 - MU-W 20010051 RIV US eng J - Journal Article
Krajíček, Jan
On the degree of ideal membership proofs from uniform families of polynomials over a finite field.
Illinois Journal of Mathematics. Roč. 45, č. 1 (2001), s. 41-73. ISSN 0019-2082
R&D Projects: GA AV ČR IAA1019602
Institutional research plan: CEZ:AV0Z1019905
Subject RIV: BA - General Mathematics
Impact factor: 0.314, year: 2001
Permanent Link: http://hdl.handle.net/11104/0071996File Download Size Commentary Version Access Krajicek.pdf 1 372.6 KB Publisher’s postprint require - 9.0174935 - MU-W 200128 RIV US eng J - Journal Article
Sgall, Jiří - Bartal, Y. - Leonardi, S. - Marchetti-Spaccamela, A. - Stougie, L.
Multiprocessor scheduling with rejection.
SIAM Journal on Discrete Mathematics. Roč. 13, č. 1 (2000), s. 64-78. ISSN 0895-4801. E-ISSN 1095-7146
R&D Projects: GA AV ČR IAA1019602; GA AV ČR IAA1019901; GA ČR GA201/97/P038
Institutional research plan: CEZ:AV0Z1019905; CEZ:A05/98:Z1-019-9ii
Subject RIV: BA - General Mathematics
Impact factor: 0.686, year: 2000
Permanent Link: http://hdl.handle.net/11104/0071928File Download Size Commentary Version Access Sgall3.pdf 1 432.8 KB Publisher’s postprint require - 10.0174807 - MU-W 990021 RIV US eng J - Journal Article
Pudlák, Pavel
Lower bounds for resolution and cutting plane proofs and monotone computations.
Journal of Symbolic Logic. Roč. 62, č. 3 (1997), s. 981-998. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA1019602; GA MŠMT ME 103
Subject RIV: BA - General Mathematics
Impact factor: 0.413, year: 1997
Permanent Link: http://hdl.handle.net/11104/0071806File Download Size Commentary Version Access Pudlak.pdf 4 1.9 MB Publisher’s postprint require Pudlak4.pdf 2 326 KB Publisher’s postprint require