TY - CONF A1 - Hartung, Marc A1 - Kaiser, Benjamin T1 - Crafted Benchmarks with Artificial Community Structure and Known Complexity T2 - Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions Y1 - 2020 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/7948 UR - http://hdl.handle.net/10138/318450 SP - 89 EP - 90 ER -