ZIB_Glucose: Luby Blocked Restarts and Dynamic Vivification

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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