Search results

  1. 1.
    0546790 - MÚ 2023 RIV NL eng J - Journal Article
    Pudlák, Pavel
    On matrices potentially useful for tree codes.
    Information Processing Letters. Roč. 174, March (2022), č. článku 106180. ISSN 0020-0190. E-ISSN 1872-6119
    R&D Projects: GA ČR(CZ) GX19-27871X
    Institutional support: RVO:67985840
    Keywords : theory of computation * matrix * tree code * finite field * singleton bound
    OECD category: Pure mathematics
    Impact factor: 0.5, year: 2022
    Method of publishing: Limited access
    https://doi.org/10.1016/j.ipl.2021.106180
    Permanent Link: http://hdl.handle.net/11104/0323169
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf2234 KBPublisher’s postprintrequire
     
     
  2. 2.
    0546442 - ÚI 2022 US eng J - Journal Article
    Balbiani, P. - Boudou, J. - Diéguez, M. - Fernández-Duque, David
    Intuitionistic Linear Temporal Logics.
    ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 14. ISSN 1529-3785. E-ISSN 1557-945X
    Keywords : semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
    Impact factor: 0.625, year: 2020
    Permanent Link: http://hdl.handle.net/11104/0322946
     
     
  3. 3.
    0523857 - MÚ 2021 RIV US eng J - Journal Article
    Galesi, N. - Talebanfard, Navid - Torán, J.
    Cops-Robber games and the resolution of Tseitin formulas.
    ACM Transactions on Computation Theory. Roč. 12, č. 2 (2020), č. článku 9. ISSN 1942-3454
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : theory of computation * proof complexity * graph theory
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Method of publishing: Limited access
    https://doi.org/10.1145/3378667
    Permanent Link: http://hdl.handle.net/11104/0308136
    FileDownloadSizeCommentaryVersionAccess
    Talebanfard.pdf2422.9 KBPublisher’s postprintrequire
     
     
  4. 4.
    0489225 - MÚ 2019 RIV NL eng J - Journal Article
    Lauria, M. - Thapen, Neil
    On semantic cutting planes with very small coefficients.
    Information Processing Letters. Roč. 136, August (2018), s. 70-75. ISSN 0020-0190. E-ISSN 1872-6119
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985840
    Keywords : theory of computation * proof complexity * cutting planes
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.914, year: 2018
    https://www.sciencedirect.com/science/article/pii/S0020019018300875
    Permanent Link: http://hdl.handle.net/11104/0283676
    FileDownloadSizeCommentaryVersionAccess
    Thapen.pdf2301.5 KBPublisher’s postprintrequire
     
     
  5. 5.
    0447653 - MÚ 2016 RIV DE eng M - Monography Chapter
    Paturi, R. - Pudlák, Pavel - Saks, M. - Zane, F.
    Backtracking based k-SAT algorithms.
    Encyclopedia of Algorithms. Berlin: Springer, 2015 - (Kao, M.), s. 1-6. ISBN 978-3-642-27848-8
    Institutional support: RVO:67985840
    Keywords : theory of computation * algorithms
    Subject RIV: BA - General Mathematics
    http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
    Permanent Link: http://hdl.handle.net/11104/0249436
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf1132.6 KBPublisher’s postprintrequire
     
     
  6. 6.
    0039741 - ÚI 2007 RIV IT eng C - Conference Paper (international conference)
    Wiedermann, Jiří
    One Computer Theorist's View of Cognitive Systems.
    [Kognitivní systém z pohledu počítačového teoretika.]
    The European Network for the Advancement of Artificial Cognitive Systems. Genova: University of Genova, 2006, s. 1-30.
    [euCognition Inaugural Meeting. Nice (FR), 16.02.2006-17.02.2006]
    R&D Projects: GA AV ČR 1ET100300419
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : cognitive systems * computationalism * evolving systems * theory of computation
    Subject RIV: IN - Informatics, Computer Science
    www.eucognition.org/inaugural.htm
    Permanent Link: http://hdl.handle.net/11104/0133725
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.