ZIB_Glucose: Luby Blocked Restarts and Dynamic Vivification
Author: | Marc Hartung |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions |
First Page: | 43 |
Last Page: | 44 |
Fulltext Url: | http://hdl.handle.net/10138/306988 |
Year of first publication: | 2019 |