Bromberger, M. (2016). Analysis and Implementation of LIA solvers: CutSAT and BBSAT. Master Thesis, Universität des Saarlandes, Saarbrücken.