Combinatorics of tropical linear programming - Loho, Georg (2017)