Výsledky vyhledávání
- 1.0565597 - MÚ 2023 RIV SG eng J - Článek v odborném periodiku
Kołodziejcz, L. A. - Thapen, Neil
Approximate counting and NP search problems.
Journal of Mathematical Logic. Roč. 22, č. 3 (2022), č. článku 2250012. ISSN 0219-0613. E-ISSN 1793-6691
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: approximate counting * bounded arithmetic * CPLS * NP search problems
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1142/S021906132250012X
Trvalý link: https://hdl.handle.net/11104/0337115Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 2 439.3 KB Vydavatelský postprint vyžádat - 2.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 - 3.0504571 - MÚ 2020 RIV CH eng J - Článek v odborném periodiku
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328. E-ISSN 1420-8954
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: probabilistic proof * proof complexity * resolutions * witching lemma
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.850, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00037-019-00182-7
Trvalý link: http://hdl.handle.net/11104/0296173Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 567.4 KB Vydavatelský postprint vyžádat - 4.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 - 5.0489225 - MÚ 2019 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * proof complexity * cutting planes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.914, rok: 2018
https://www.sciencedirect.com/science/article/pii/S0020019018300875
Trvalý link: http://hdl.handle.net/11104/0283676Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 2 301.5 KB Vydavatelský postprint vyžádat - 6.0474390 - MÚ 2018 RIV HU eng J - Článek v odborném periodiku
Lauria, M. - Pudlák, Pavel - Rödl, V. - Thapen, Neil
The complexity of proving that a graph is Ramsey.
Combinatorica. Roč. 37, č. 2 (2017), s. 253-268. ISSN 0209-9683. E-ISSN 1439-6912
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: complexity * c-Ramsey graphs
Obor OECD: Pure mathematics
Impakt faktor: 1.406, rok: 2017
http://link.springer.com/article/10.1007%2Fs00493-015-3193-9
Trvalý link: http://hdl.handle.net/11104/0271451Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 7 433.6 KB Vydavatelský postprint vyžádat - 7.0466751 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
Bonacina, I. - Galesi, N. - Thapen, Neil
Total space in resolution.
Siam Journal on Computing. Roč. 45, č. 5 (2016), s. 1894-1909. ISSN 0097-5397. E-ISSN 1095-7111
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: total space * resolution random CNFs * proof complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.433, rok: 2016
http://epubs.siam.org/doi/10.1137/15M1023269
Trvalý link: http://hdl.handle.net/11104/0264987Název souboru Staženo Velikost Komentář Verze Přístup Thapen2.pdf 8 493.9 KB Vydavatelský postprint vyžádat - 8.0462811 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
Thapen, Neil
A tradeoff between length and width in resolution.
Theory of Computing. Roč. 12, č. 5 (2016), s. 1-14. ISSN 1557-2862. E-ISSN 1557-2862
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * resolution * trade-off
Obor OECD: Pure mathematics
http://toc.nada.kth.se/articles/v012a005/index.html
Trvalý link: http://hdl.handle.net/11104/0262196Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 2 238.6 KB Vydavatelský postprint povolen - 9.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 - 10.0447629 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
Filmus, Y. - Lauria, M. - Nordström, J. - Ron-Zewi, N. - Thapen, Neil
Space complexity in polynomial calculus.
Siam Journal on Computing. Roč. 44, č. 4 (2015), s. 1119-1153. ISSN 0097-5397. E-ISSN 1095-7111
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * polynomial calculus * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.841, rok: 2015
http://epubs.siam.org/doi/10.1137/120895950
Trvalý link: http://hdl.handle.net/11104/0249428Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 2 439.5 KB Vydavatelský postprint vyžádat