×

A branch and bound method for the multiconstraint zero-one knapsack problem. (English) Zbl 0411.90050


MSC:

90C09 Boolean programming
65K05 Numerical mathematical programming methods
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI