Crafted Benchmarks with Artificial Community Structure and Known Complexity

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Marc Hartung, Benjamin Kaiser
Document Type:In Proceedings
Parent Title (English):Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions
First Page:89
Last Page:90
Year of first publication:2020
URL:http://hdl.handle.net/10138/318450