Vytisknout
0427751 - ÚI 2015 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Franek, Peter - Krčál, M.
Robust Satisfiability of Systems of Equations.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia: SIAM, 2014 - (Chekuri, C.), s. 193-203. ISBN 978-1-61197-338-9.
[SODA 2014. Annual ACM-SIAM Symposium on Discrete Algorithms /25./. Portland (US), 05.01.2014-07.01.2014]
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA MŠk(CZ) LL1201
Institucionální podpora: RVO:67985807
Klíčová slova: robust satisfiability * nonlinear system * undecidability * topological extension problem
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0233248
Franek, Peter - Krčál, M.
Robust Satisfiability of Systems of Equations.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia: SIAM, 2014 - (Chekuri, C.), s. 193-203. ISBN 978-1-61197-338-9.
[SODA 2014. Annual ACM-SIAM Symposium on Discrete Algorithms /25./. Portland (US), 05.01.2014-07.01.2014]
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA MŠk(CZ) LL1201
Institucionální podpora: RVO:67985807
Klíčová slova: robust satisfiability * nonlinear system * undecidability * topological extension problem
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0233248