@inproceedings{Hartung2019, author = {Marc Hartung}, title = {ZIB_Glucose: Luby Blocked Restarts and Dynamic Vivification}, booktitle = {Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions}, pages = {43 -- 44}, year = {2019}, }