0427751 - ÚI 2015 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA MŠk(CZ) LL1201
Institutional support: RVO:67985807
Keywords : robust satisfiability * nonlinear system * undecidability * topological extension problem
Subject RIV: IN - Informatics, Computer Science
Permanent 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]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA MŠk(CZ) LL1201
Institutional support: RVO:67985807
Keywords : robust satisfiability * nonlinear system * undecidability * topological extension problem
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0233248