Search results
- 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/0323169File Download Size Commentary Version Access Pudlak.pdf 2 234 KB Publisher’s postprint require - 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.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/0308136File Download Size Commentary Version Access Talebanfard.pdf 2 422.9 KB Publisher’s postprint require - 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/0283676File Download Size Commentary Version Access Thapen.pdf 2 301.5 KB Publisher’s postprint require - 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/0249436File Download Size Commentary Version Access Pudlak.pdf 1 132.6 KB Publisher’s postprint require - 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