Author:
Hladík Milan,Ratschan Stefan
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Reference28 articles.
1. Benhamou, F., Goualard, F.: Universally quantified interval constraints. In: Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP’2000), Number 1894 in LNCS, Springer Verlag, Singapore (2000)
2. Brown C.W.: QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition. SIGSAM Bull. 38(1), 23–24 (2004)
3. Caviness, B.F., Johnson J.R.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Wien (1998)
4. Cousot, P.: Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programming. In: Cousot, R.(ed.) VMCAI’05, Number 3385 in LNCS, pp. 1–24, Springer, Berlin (2005)
5. Csendes, T., Klatte, R., Ratz, D.: A posteriori direction selection rules for interval optimization methods. Central Eur. J. Oper. Res. (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A boundary approach for set inversion;Engineering Applications of Artificial Intelligence;2021-04
2. A CDCL-Style Calculus for Solving Non-linear Constraints;Frontiers of Combining Systems;2019
3. Improving validated computation of Viability Kernels;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11