TY - CONF A1 - Hartung, Marc T1 - ZIB_Glucose: Luby Blocked Restarts and Dynamic Vivification T2 - Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions Y1 - 2019 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/7516 SP - 43 EP - 44 ER -