Pushdown-reduce: An algorithm for connectivity augmentation and poset covering problems

From MaRDI portal
Publication:1406022