Košík

0546779 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Part, Fedor - Thapen, Neil - Tzameret, I.
First-order reasoning and efficient semi-algebraic proofs.
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway: IEEE, 2021 - (Gorla, D.), č. článku 9470546. ISBN 978-1-6654-4896-3.
[36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Rome (IT), 29.06.2021-02.07.2021]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: approximation algorithms * calculations * formal logic * NP-hard
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/LICS52264.2021.9470546
Trvalý link: http://hdl.handle.net/11104/0323162