Crafted Benchmarks with Artificial Community Structure and Known Complexity
| 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 |

