Výsledky vyhledávání
- 1.0542699 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
Buss, S. - Thapen, Neil
DRAT and propagation redundancy proofs without new variables.
Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 12. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: DRAT * extension * pigeonhole principle * proof logging
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://dx.doi.org/10.23638/LMCS-17(2:12)2021
Trvalý link: http://hdl.handle.net/11104/0320071Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 3 499.7 KB Vydavatelský postprint povolen - 2.0499289 - MÚ 2020 RIV NL eng J - Článek v odborném periodiku
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Feasible set functions have small circuits.
Computability. Roč. 8, č. 1 (2019), s. 67-98. ISSN 2211-3568
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * primitive recursive set functions * circuit complexity * Cobham recursive set functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Omezený přístup
http://dx.doi.org/10.3233/COM-180096
Trvalý link: http://hdl.handle.net/11104/0291518Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 1 310.7 KB Vydavatelský postprint vyžádat - 3.0456152 - MÚ 2017 RIV NL eng J - Článek v odborném periodiku
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Cobham recursive set functions.
Annals of Pure and Applied Logic. Roč. 167, č. 3 (2016), s. 335-369. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: set function * polynomial time * Cobham recursion
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.647, rok: 2016
http://www.sciencedirect.com/science/article/pii/S0168007215001293
Trvalý link: http://hdl.handle.net/11104/0256726Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 1 694.7 KB Vydavatelský postprint vyžádat - 4.0174630 - MU-W 980025 RIV CH eng J - Článek v odborném periodiku
Buss, S. - Impagliazzo, R. - Krajíček, Jan - Pudlák, Pavel - Razborov, A. A. - Sgall, Jiří
Proof complexity in algebraic systems and bounded depth Frege systems with modular counting.
Computational Complexity. Roč. 6, č. 3 (1997), s. 256-298. ISSN 1016-3328. E-ISSN 1420-8954
Trvalý link: http://hdl.handle.net/11104/0071633Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 389.3 KB Autorský postprint povolen