Rigorous filtering using linear relaxations
Year of publication: |
2012
|
---|---|
Authors: | Domes, Ferenc ; Neumaier, Arnold |
Published in: |
Journal of Global Optimization. - Springer. - Vol. 53.2012, 3, p. 441-473
|
Publisher: |
Springer |
Subject: | Linear relaxations | Filtering | Pruning | Continuous constraints | Quadratic constraint satisfaction problems | Rounding error control | Verified computing | Quadratic programming | Branch and bound | Global optimization |
-
A new Branch and Bound method for a discrete truss topology design problem
Cerveira, Adelaide, (2013)
-
Buchheim, Christoph, (2015)
-
A practicable branch and bound algorithm for sum of linear ratios problem
Jiao, Hong-Wei, (2015)
- More ...
-
A scaling algorithm for polynomial constraint satisfaction problems
Domes, Ferenc, (2008)
-
Rigorous filtering using linear relaxations
Domes, Ferenc, (2012)
-
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Schodl, Peter, (2012)
- More ...