Loho, G. Abstract Tropical Linear Programming. Electron. J. Combin. 2020, 27, P2.51.