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 |

