A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
暂无分享,去创建一个
[1] César A. Muñoz,et al. Formalization of Bernstein Polynomials and Applications to Global Optimization , 2013, Journal of Automated Reasoning.
[2] Luc Jaulin,et al. Contractor programming , 2009, Artif. Intell..
[3] Luis G. Crespo,et al. Bifurcation analysis using rigorous branch and bound methods , 2014, 2014 IEEE Conference on Control Applications (CCA).
[4] Frédéric Benhamou,et al. Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques , 2006, TOMS.
[5] Jon G. Rokne,et al. New computer methods for global optimization , 1988 .
[6] Tibor Csendes,et al. On the selection of subdivision directions in interval branch-and-bound methods for global optimization , 1995, J. Glob. Optim..
[7] Eldon Hansen,et al. Global optimization using interval analysis , 1992, Pure and applied mathematics.
[8] Luis G. Crespo,et al. Uncertainty Analysis via Failure Domain Characterization: Polynomial Requirement Functions , 2011 .
[9] Christodoulos A. Floudas,et al. Deterministic global optimization - theory, methods and applications , 2010, Nonconvex optimization and its applications.
[10] Nikolaos V. Sahinidis,et al. BARON: A general purpose global optimization software package , 1996, J. Glob. Optim..
[11] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[12] Andrew Paul Smith,et al. Fast construction of constant bound functions for sparse polynomials , 2009, J. Glob. Optim..
[13] César A. Muñoz,et al. Bounding the Range of a Rational Function over a box , 2012, Reliab. Comput..
[14] César A. Muñoz,et al. A Formally Verified Generic Branching Algorithm for Global Optimization , 2013, VSTTE.
[15] Jürgen Garloff,et al. Investigation of a subdivision based algorithm for solving systems of polynomial equations , 2001 .
[16] Walter Krämer,et al. FILIB++, a fast interval library supporting containment computations , 2006, TOMS.
[17] R. Baker Kearfott,et al. GlobSol user guide , 2009, Optim. Methods Softw..
[18] R. Baker Kearfott,et al. Introduction to Interval Analysis , 2009 .