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.0561027 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
New relations and separations of conjectures about incompleteness in the finite domain.
Journal of Symbolic Logic. Roč. 87, č. 3 (2022), s. 912-937. ISSN 0022-4812. E-ISSN 1943-5886
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: disjoint NE-sets * finite consistency * oracles * propositional proof systems
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2021.99
Trvalý link: https://hdl.handle.net/11104/0333783Název souboru Staženo Velikost Komentář Verze Přístup Khaniki3.pdf 2 386.5 KB Vydavatelský postprint vyžádat - 3.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 - 4.0535773 - MÚ 2022 RIV NL eng J - Článek v odborném periodiku
Pudlák, Pavel
The canonical pairs of bounded depth Frege systems.
Annals of Pure and Applied Logic. Roč. 172, č. 2 (2021), č. článku 102892. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GX19-27871X
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: circuits * complexity * games * proofs
Obor OECD: Pure mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102892
Trvalý link: http://hdl.handle.net/11104/0313709Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 3 676.3 KB Vydavatelský postprint vyžádat - 5.0523857 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
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
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * proof complexity * graph theory
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
https://doi.org/10.1145/3378667
Trvalý link: http://hdl.handle.net/11104/0308136Název souboru Staženo Velikost Komentář Verze Přístup Talebanfard.pdf 2 422.9 KB Vydavatelský postprint vyžádat - 6.0511322 - MÚ 2020 RIV US eng J - Článek v odborném periodiku
de Oliveira Oliveira, M. - Pudlák, Pavel
Representations of monotone Boolean functions by linear programs.
ACM Transactions on Computation Theory. Roč. 11, č. 4 (2019), č. článku 22. ISSN 1942-3454
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
Obor OECD: Pure mathematics
Způsob publikování: Open access
http://dx.doi.org/10.1145/3337787
Trvalý link: http://hdl.handle.net/11104/0301620Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 431 KB Vydavatelský postprint povolen - 7.0504577 - MÚ 2020 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Rigid models of Presburger arithmetic.
Mathematical Logic Quarterly. Roč. 65, č. 1 (2019), s. 108-115. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: Presburger arithmetic * rigid models
Obor OECD: Pure mathematics
Impakt faktor: 0.244, rok: 2019
Způsob publikování: Open access
http://dx.doi.org/10.1002/malq.201800019
Trvalý link: http://hdl.handle.net/11104/0296176Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 173.9 KB Vydavatelský postprint povolen - 8.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 - 9.0502173 - MÚ 2020 GB eng J - Článek v odborném periodiku
Hrubeš, Pavel
On families of anticommuting matrices.
Journal of Applied Logics: IfCoLog Journal of Logics and their Application. Roč. 4, č. 10 (2017), s. 3263-3277. ISSN 2055-3706. E-ISSN 2055-3714
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: anticommuting matrices * sum-of-squares formulas
Obor OECD: Pure mathematics
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0294124Název souboru Staženo Velikost Komentář Verze Přístup Hrubes1.pdf 1 1.6 MB Vydavatelský postprint vyžádat - 10.0500314 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
Garlík, Michal - Kołodziejcz, L. A.
Some subsystems of constant-depth Frege with parity.
ACM Transactions on Computational Logic. Roč. 19, č. 4 (2018), č. článku 29. ISSN 1529-3785. E-ISSN 1557-945X
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: constant-depth Frege * counting axioms * modular counting * propositional proof complexity
Obor OECD: Pure mathematics
Impakt faktor: 0.448, rok: 2018
https://dl.acm.org/citation.cfm?id=3243126
Trvalý link: http://hdl.handle.net/11104/0292413Název souboru Staženo Velikost Komentář Verze Přístup Garlik.pdf 6 1 MB Vydavatelský postprint vyžádat