@mastersthesis{Schubert2017, author = {Christoph Schubert}, title = {Multi-Level Lookahead Branching}, year = {2017}, language = {en} }