A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
Scheduling Commercial Videotapes in Broadcast Television
Operations Research
Computational Optimization and Applications
An Integrated Solver for Optimization Problems
Operations Research
Generalized Benders' Decomposition for topology optimization problems
Journal of Global Optimization
Structural and Multidisciplinary Optimization
Convex programming methods for global optimization
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
A new Branch and Bound method for a discrete truss topology design problem
Computational Optimization and Applications
Hi-index | 0.00 |
The truss design problem is to find the optimal placement and size of structural bars that can support a given load. The problem is nonlinear and, in the version addressed here, the bars must take certain discrete sizes. It is shown that a logic-based method that dispenses with integer variables and branches directly on logical disjunctions can solve substantially larger problems than mixed integer programming, even though the nonlinearities disappear in the mixed integer model. A primary purpose of the paper is to investigate whether advantages of logic-based branching that have been demonstrated elsewhere for linear problems extend to nonlinear programming.