Introduction to ABACUS -- a branch-and-cut system

From MaRDI portal
Publication:1271386