
AbstractA hybrid algorithm to solve large scale zero–one integer programming problems has been developed. The algorithm combines branch-and-bound, enumeration and cutting plane techniques. Mixed-integer cuts are generated in the initial phase of the algorithm and added to the L.P. Benders cuts are derived and used implicitly but, except for the cut from the initial LP, are not stored. The algorithm has been implemented on an experimental basis in MPSX/370 using its Extended Control Language and Algorithmic Tools. A computational study based on five well-known difficult test problems and on three practical problems with up to 2000 zer–one variables shows that the hybrid code compares favorably with MIP/370 and with results published for other algorithms.
Specification and verification (program logics, model checking, etc.), combination of branch-and-bound, Applied Mathematics, computational study, hybrid algorithm, large scale zero-one integer programming problems, Numerical mathematical programming methods, Mixed integer programming, enumeration and cutting plane techniques, Discrete Mathematics and Combinatorics, Boolean programming, comparison of algorithms, mixed-integer cuts
Specification and verification (program logics, model checking, etc.), combination of branch-and-bound, Applied Mathematics, computational study, hybrid algorithm, large scale zero-one integer programming problems, Numerical mathematical programming methods, Mixed integer programming, enumeration and cutting plane techniques, Discrete Mathematics and Combinatorics, Boolean programming, comparison of algorithms, mixed-integer cuts
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 18 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
