Vytisknout
0540454 - MÚ 2022 RIV CH eng J - Článek v odborném periodiku
de Rezende, Susanna F. - Meir, O. - Norström, J. - Robere, R.
Nullstellensatz size-degree trade-offs from reversible pebbling.
Computational Complexity. Roč. 30, č. 1 (2021), č. článku 4. ISSN 1016-3328. E-ISSN 1420-8954
Institucionální podpora: RVO:67985840
Klíčová slova: nullstellensatz * pebbling * proof complexity * trade-offs
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.962, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00037-020-00201-y
Trvalý link: http://hdl.handle.net/11104/0318083
de Rezende, Susanna F. - Meir, O. - Norström, J. - Robere, R.
Nullstellensatz size-degree trade-offs from reversible pebbling.
Computational Complexity. Roč. 30, č. 1 (2021), č. článku 4. ISSN 1016-3328. E-ISSN 1420-8954
Institucionální podpora: RVO:67985840
Klíčová slova: nullstellensatz * pebbling * proof complexity * trade-offs
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.962, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00037-020-00201-y
Trvalý link: http://hdl.handle.net/11104/0318083