TY - THES A1 - Schubert, Christoph T1 - Multi-Level Lookahead Branching Y1 - 2017 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/6758 ER -