Publisher
Springer International Publishing
Reference20 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2019).
www.smtlib.org/
2. Lecture Notes in Computer Science;H Batnini,2005
3. Benhamou, F., Granvilliers, L.: Continuous and interval constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Chap. 16. Elsevier (2006)
4. Lecture Notes in Computer Science;A Biere,2015
5. Csendes, T., Ratz, D.: Subdivision direction selection in interval methods for global optimization. SIAM J. Numer. Anal. 34(3), 922–938 (1997).
https://doi.org/10.1137/S0036142995281528
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献