Výsledky vyhledávání
- 1.0579481 - MÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Dvořák, P. - Folwarczný, Lukáš - Opler, M. - Pudlák, Pavel - Šámal, R. - Vu, T.
Bounds on functionality and symmetric difference - two intriguing graph parameters.
Graph-Theoretic Concepts in Computer Science. Cham: Springer, 2023 - (Paulusma, D.; Ries, B.), s. 305-318. Lecture Notes in Computer Science, 14093. ISBN 978-3-031-43379-5. ISSN 0302-9743.
[49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023. Fribourg (CH), 28.06.2023-30.06.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: finite projective plane * functionality * intersection graphs * symmetric difference
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-43380-1_22
Trvalý link: https://hdl.handle.net/11104/0348321Název souboru Staženo Velikost Komentář Verze Přístup Folwarczny3.pdf 0 247.8 KB Vydavatelský postprint vyžádat - 2.0559512 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Gryaznov, Svyatoslav - Pudlák, Pavel - Talebanfard, Navid
Linear branching programs and directional affine extractors.
37th Computational Complexity Conference (CCC 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Lovett, S.), s. 1-16, č. článku 4. Leibniz International Proceedings in Informatics, 234. ISBN 978-3-95977-241-9. ISSN 1868-8969.
[37th Computational Complexity Conference (CCC 2022). Philadelphia (US), 20.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: Boolean functions * average-case lower bounds * affine dispersers * affine extractors
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.CCC.2022.4
Trvalý link: https://hdl.handle.net/11104/0332788Název souboru Staženo Velikost Komentář Verze Přístup Gryaznov.pdf 2 696.6 KB Vydavatelský postprint povolen - 3.0489223 - MÚ 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Lokshtanov, D. - Mikhailin, I. - Ramamohan, P. - Pudlák, Pavel
Beating brute force for (quantified) satisfiability of circuits of bounded treewidth.
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia: SIAM, 2018 - (Czumaj, A.), s. 247-261. ISBN 978-1-61197-503-1.
[Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018). New Orleans (US), 07.01.2018-10.01.2018]
Institucionální podpora: RVO:67985840
Klíčová slova: algorithmic properties of circuits of bounded treewidth
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://epubs.siam.org/doi/abs/10.1137/1.9781611975031.18
Trvalý link: http://hdl.handle.net/11104/0283675Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 2 624.9 KB Vydavatelský postprint vyžádat - 4.0483703 - MÚ 2018 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Hrubeš, Pavel - Pudlák, Pavel
Random formulas, monotone circuits, and interpolation.
2017 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS). New York: IEEE, 2017, s. 121-131. Annual IEEE Symposium on Foundations of Computer Science. ISBN 978-1-5386-3464-6. ISSN 0272-5428.
[58th IEEE Annual Symposium on Foundations of Computer Science (FOCS). Berkeley (US), 15.10.2017-17.10.2017]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: Cutting Planes * random formulas * interpolation
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://ieeexplore.ieee.org/document/8104052/
Trvalý link: http://hdl.handle.net/11104/0278908Název souboru Staženo Velikost Komentář Verze Přístup Hrubes.pdf 11 296.4 KB Vydavatelský postprint vyžádat - 5.0477105 - MÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel - de Oliveira Oliveira, Mateus
Representations of monotone Boolean functions by linear programs.
32nd Computational Complexity Conference (CCC 2017). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 - (O’Donnell, R.), s. 1-14, č. článku 3. Leibniz International Proceedings in Informatics, 79. ISBN 978-3-95977-040-8. ISSN 1868-8969.
[32nd Computational Complexity Conference (CCC 2017). Riga (LT), 06.07.2017-09.07.2017]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: Monotone Linear Programming Circuits * Lovász-Schrijver Proof System * Cutting-Planes Proof System
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/7520
Trvalý link: http://hdl.handle.net/11104/0273491Název souboru Staženo Velikost Komentář Verze Přístup DeOliveiraOliveira2.pdf 2 534.9 KB Vydavatelský postprint vyžádat - 6.0477098 - MÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
32nd Computational Complexity Conference (CCC 2017). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 - (O’Donnell, R.), s. 1-10, č. článku 1. Leibniz International Proceedings in Informatics, 79. ISBN 978-3-95977-040-8. ISSN 1868-8969.
[32nd Computational Complexity Conference (CCC 2017). Riga (LT), 06.07.2017-09.07.2017]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * random * resolution * resolution
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/7523
Trvalý link: http://hdl.handle.net/11104/0273490Název souboru Staženo Velikost Komentář Verze Přístup Pudlak3.pdf 3 538.1 KB Vydavatelský postprint vyžádat - 7.0476174 - MÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel - Scheder, D. - Talebanfard, Navid
Tighter Hard Instances for PPSZ.
44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 - (Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.), s. 1-13, č. článku 85. Leibniz International Proceedings in Informatics, 80. ISBN 978-3-95977-041-5. ISSN 1868-8969.
[44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Warsaw (PL), 10.07.2017-14.07.2017]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: k-SAT * strong exponential time hypothesis * PPSZ * resolution
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7414
Trvalý link: http://hdl.handle.net/11104/0272702Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 2 587.8 KB Vydavatelský postprint vyžádat - 8.0448832 - MÚ 2016 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Galesi, N. - Pudlák, Pavel - Thapen, Neil
The space complexity of cutting planes refutations.
30th Conference on Computational Complexity (CCC 2015). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2015 - (Zuckerman, D.), s. 433-447. Leibniz International Proceedings in Informatics, 33. ISBN 978-3-939897-81-1. ISSN 1868-8969.
[Conference on Computational Complexity (CCC) /30./. Portland (US), 17.06.2015-19.06.2015]
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 339691 - FEALORA
Program: FP7
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * space * cutting planes
Kód oboru RIV: BA - Obecná matematika
http://drops.dagstuhl.de/opus/volltexte/2015/5055/
Trvalý link: http://hdl.handle.net/11104/0250451Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 3 476.6 KB Vydavatelský postprint vyžádat - 9.0434518 - MÚ 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Gavinsky, Dmitry - Pudlák, Pavel
Partition expanders.
31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2014 - (Mayr, E.; Portier, N.), s. 325-336. Leibniz International Proceedings in Informatics, 25. ISBN 978-3-939897-65-1. ISSN 1868-8969.
[International Symposium on Theoretical Aspects of Computer Science (STACS 2014), /31./. Lyon (FR), 05.03.2014-08.03.2014]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: partitions * expanders * random graphs
Kód oboru RIV: BA - Obecná matematika
http://drops.dagstuhl.de/opus/volltexte/2014/4468/
Trvalý link: http://hdl.handle.net/11104/0238547Název souboru Staženo Velikost Komentář Verze Přístup Gavinsky3.pdf 1 675.2 KB Vydavatelský postprint povolen - 10.0422140 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel
On extracting computations from propositional proofs.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Wadem: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2010 - (Lodaya, K.; Mahajan, M.), s. 30-41. Leibniz International Proceedings in Informatics, vol. 8. ISBN 978-3-939897-23-1.
[International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), /30./. Chennai (IN), 15.12.2010-16.12.2010]
Grant CEP: GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: proof complexity * propositional tautology * boolean circuits
Kód oboru RIV: BA - Obecná matematika
http://drops.dagstuhl.de/opus/volltexte/2010/2851/
Trvalý link: http://hdl.handle.net/11104/0228350Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 424.5 KB Vydavatelský postprint povolen