Výsledky vyhledávání

  1. 1.
    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
    Kód oboru RIV: IN - Informatika
    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/0283675
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf2624.9 KBVydavatelský postprintvyžádat
     
  2. 2.
    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
    Kód oboru RIV: BA - Obecná matematika
    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/0278908
    Název souboruStaženoVelikostKomentářVerzePřístup
    Hrubes.pdf8296.4 KBVydavatelský postprintvyžádat
     
  3. 3.
    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
    Kód oboru RIV: BA - Obecná matematika
    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/0273491
    Název souboruStaženoVelikostKomentářVerzePřístup
    DeOliveiraOliveira2.pdf2534.9 KBVydavatelský postprintvyžádat
     
  4. 4.
    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
    Kód oboru RIV: BA - Obecná matematika
    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/0273490
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak3.pdf3538.1 KBVydavatelský postprintvyžádat
     
  5. 5.
    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
    Kód oboru RIV: BA - Obecná matematika
    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/0272702
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak2.pdf2587.8 KBVydavatelský postprintvyžádat
     
  6. 6.
    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/0250451
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf3476.6 KBVydavatelský postprintvyžádat
     
  7. 7.
    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/0238547
    Název souboruStaženoVelikostKomentářVerzePřístup
    Gavinsky3.pdf1675.2 KBVydavatelský postprintpovolen
     
  8. 8.
    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Šk(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/0228350
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak2.pdf1424.5 KBVydavatelský postprintpovolen
     
  9. 9.
    0422131 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Beckmann, A. - Pudlák, Pavel - Thapen, Neil
    Parity games and propositional proofs.
    Mathematical Foundations of Computer Science 2013. Berlin: Springer, 2013 - (Chatterjee, K.; Sgall, J.), s. 111-122. Lecture Notes in Computer Science, 8087. ISBN 978-3-642-40312-5.
    [International Symposium on Mathematical Foundations of Computer Science 2013 /38./. Klosterneuburg (AT), 26.08.2013-30.08.2013]
    Grant CEP: GA AV ČR IAA100190902
    Institucionální podpora: RVO:67985840
    Klíčová slova: resolution proof systems * parity games * game equivalent to resolution
    Kód oboru RIV: BA - Obecná matematika
    http://link.springer.com/chapter/10.1007%2F978-3-642-40313-2_12
    Trvalý link: http://hdl.handle.net/11104/0228345
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf1214.5 KBVydavatelský postprintvyžádat
     
  10. 10.
    0403053 - UIVT-O 200277 DE eng C - Konferenční příspěvek (zahraniční konf.)
    Krajíček, Jan - Pudlák, Pavel - Sgall, Jiří
    Interactive Computations of Optimal Solutions.
    Berlin: SpringerVerlag, 1990. Lecture Notes in Computer Science, 452. In: Mathematical Foundations of Computer Science., s. 48-60
    [Internatiolnal Conference. Banská Bystrica (CS), 00.08.1990]
    Trvalý link: http://hdl.handle.net/11104/0123416