@mastersthesis{BrombergerMaster2016,
TITLE = {Analysis and Implementation of {LIA} solvers: {CutSAT} and {BBSAT}},
AUTHOR = {Bromberger, Martin},
LANGUAGE = {eng},
SCHOOL = {Universit{\"a}t des Saarlandes},
ADDRESS = {Saarbr{\"u}cken},
YEAR = {2016},
DATE = {2016},
}