@inproceedings{HartungKaiser2020, author = {Marc Hartung and Benjamin Kaiser}, title = {Crafted Benchmarks with Artificial Community Structure and Known Complexity}, booktitle = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, pages = {89 -- 90}, url = {http://hdl.handle.net/10138/318450}, year = {2020}, }