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.0175425 - MU-W 20030179 RIV IL eng J - Journal Article
Alon, N. - Pudlák, Pavel
Constructive lower bounds for off-diagonal Ramsey numbers.
Israel Journal of Mathematics. Roč. 122, č. 3 (2001), s. 243-251. ISSN 0021-2172. E-ISSN 1565-8511
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : Ramsey's theorem * graph
Subject RIV: BA - General Mathematics
Impact factor: 0.545, year: 2001
Permanent Link: http://hdl.handle.net/11104/0072408File Download Size Commentary Version Access Pudlak.pdf 1 399.9 KB Publisher’s postprint require - 3.0175424 - MU-W 20030178 RIV HU eng J - Journal Article
Pudlák, Pavel
Cycles of nonzero elements in low rank matrices.
Combinatorica. Roč. 22, č. 2 (2002), s. 321-334. ISSN 0209-9683. E-ISSN 1439-6912
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : matrix * graph * cycle
Subject RIV: BA - General Mathematics
Impact factor: 0.831, year: 2002
Permanent Link: http://hdl.handle.net/11104/0072407File Download Size Commentary Version Access Pudlak1.pdf 1 193.9 KB Publisher’s postprint require - 4.0175423 - MU-W 20030177 RIV US eng J - Journal Article
Pudlák, Pavel
Proofs as games.
American Mathematical Monthly. Roč. 107, č. 5 (2000), s. 541-550. ISSN 0002-9890. E-ISSN 1930-0972
R&D Projects: GA AV ČR IAA1019901; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : game * lengths of proofs * resolution
Subject RIV: BA - General Mathematics
Impact factor: 0.238, year: 2000
Permanent Link: http://hdl.handle.net/11104/0072406File Download Size Commentary Version Access Pudlak2.pdf 1 967.7 KB Publisher’s postprint require - 5.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 - 6.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 - 7.0175393 - MU-W 20030147 RIV GB eng J - Journal Article
Došlý, O. - Řehák, Pavel
Recessive solution of half-linear second order difference equations.
Journal of Difference Equations and Applications. Roč. 9, č. 1 (2003), s. 49-61. ISSN 1023-6198. E-ISSN 1563-5120
R&D Projects: GA ČR GA201/01/0079; GA ČR GP201/01/P041; GA MŠMT ME 103
Institutional research plan: CEZ:AV0Z1019905; CEZ:AV0Z1019905
Keywords : half-linear difference equation * recessive solution
Subject RIV: BA - General Mathematics
Impact factor: 0.426, year: 2003
http://www.tandfonline.com/doi/abs/10.1080/10236100309487534
Permanent Link: http://hdl.handle.net/11104/0072376File Download Size Commentary Version Access Rehak2.pdf 1 596.9 KB Publisher’s postprint require - 8.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 - 9.0175224 - MU-W 20020112 RIV NL eng J - Journal Article
Azar, Y. - Regev, O. - Sgall, Jiří - Woeginger, G. J.
Off-line temporary tasks assignment.
Theoretical Computer Science. Roč. 287, č. 2 (2002), s. 419-428. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA MŠMT LN00A056; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA MŠMT ME 103
Keywords : load balancing%temporary tasks%PTAS
Subject RIV: BA - General Mathematics
Impact factor: 0.417, year: 2002
Permanent Link: http://hdl.handle.net/11104/0072209File Download Size Commentary Version Access Sgall1.pdf 1 203.7 KB Publisher’s postprint require - 10.0175223 - MU-W 20020111 RIV NL eng J - Journal Article
Anderson, E. - Chrobak, M. - Noga, J. - Sgall, Jiří - Woeginger, G. J.
Solution of a problem in DNA computing.
Theoretical Computer Science. Roč. 287, č. 2 (2002), s. 387-391. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA MŠMT LN00A056; GA AV ČR IAA1019901; GA ČR GA201/97/P038; GA MŠMT ME 103
Keywords : DNA computing
Subject RIV: BA - General Mathematics
Impact factor: 0.417, year: 2002
Permanent Link: http://hdl.handle.net/11104/0072208