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