Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Bromberger, M. (2016). Analysis and Implementation of LIA solvers: CutSAT and BBSAT. Master Thesis, Universität des Saarlandes, Saarbrücken.