Transferring information across restarts in MIP

From MaRDI portal
Publication:2170173