@mastersthesis{S112010,
              author = {S. Burg},
              title = {Generation von SAT Instanzen mit Ähnlichkeit zu industriellen Instanzen},
              school = {Universität Tübingen},
              year = {2010},
              month = {11},
}