Presents tropical circuits and their use in combinatorial, discrete optimization problems Offers a toolbox for proving lower bounds for tropical circuits, facilitating the study of their complexity Gathers ideas and methods that have, until now, been scattered throughout the literature