Search results
- 1.0565597 - MÚ 2023 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-05497S
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : approximate counting * bounded arithmetic * CPLS * NP search problems
OECD category: Pure mathematics
Impact factor: 0.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1142/S021906132250012X
Permanent Link: https://hdl.handle.net/11104/0337115File Download Size Commentary Version Access Thapen.pdf 2 439.3 KB Publisher’s postprint require - 2.0561027 - MÚ 2023 RIV US eng J - Journal Article
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
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : disjoint NE-sets * finite consistency * oracles * propositional proof systems
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/jsl.2021.99
Permanent Link: https://hdl.handle.net/11104/0333783File Download Size Commentary Version Access Khaniki3.pdf 2 386.5 KB Publisher’s postprint require - 3.0542699 - MÚ 2022 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-05497S
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : DRAT * extension * pigeonhole principle * proof logging
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.591, year: 2021
Method of publishing: Open access
https://dx.doi.org/10.23638/LMCS-17(2:12)2021
Permanent Link: http://hdl.handle.net/11104/0320071File Download Size Commentary Version Access Thapen.pdf 3 499.7 KB Publisher’s postprint open-access - 4.0535773 - MÚ 2022 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GX19-27871X
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : circuits * complexity * games * proofs
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2020.102892
Permanent Link: http://hdl.handle.net/11104/0313709File Download Size Commentary Version Access Pudlak.pdf 3 676.3 KB Publisher’s postprint require - 5.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 - 6.0511322 - MÚ 2020 RIV US eng J - Journal Article
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
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : monotone linear programming circuits * Lovász-Schrijver proof systems * feasible interpolation
OECD category: Pure mathematics
Method of publishing: Open access
http://dx.doi.org/10.1145/3337787
Permanent Link: http://hdl.handle.net/11104/0301620File Download Size Commentary Version Access Pudlak1.pdf 1 431 KB Publisher’s postprint open-access - 7.0504577 - MÚ 2020 RIV DE eng J - Journal Article
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
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : Presburger arithmetic * rigid models
OECD category: Pure mathematics
Impact factor: 0.244, year: 2019
Method of publishing: Open access
http://dx.doi.org/10.1002/malq.201800019
Permanent Link: http://hdl.handle.net/11104/0296176File Download Size Commentary Version Access Jerabek.pdf 1 173.9 KB Publisher’s postprint open-access - 8.0504571 - MÚ 2020 RIV CH eng J - Journal Article
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. ISSN 1016-3328. E-ISSN 1420-8954
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : probabilistic proof * proof complexity * resolutions * witching lemma
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.850, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00037-019-00182-7
Permanent Link: http://hdl.handle.net/11104/0296173File Download Size Commentary Version Access Pudlak.pdf 1 567.4 KB Publisher’s postprint require - 9.0502173 - MÚ 2020 GB eng J - Journal Article
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
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : anticommuting matrices * sum-of-squares formulas
OECD category: Pure mathematics
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0294124File Download Size Commentary Version Access Hrubes1.pdf 1 1.6 MB Publisher’s postprint require - 10.0500314 - MÚ 2019 RIV US eng J - Journal Article
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
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : constant-depth Frege * counting axioms * modular counting * propositional proof complexity
OECD category: Pure mathematics
Impact factor: 0.448, year: 2018
https://dl.acm.org/citation.cfm?id=3243126
Permanent Link: http://hdl.handle.net/11104/0292413File Download Size Commentary Version Access Garlik.pdf 6 1 MB Publisher’s postprint require