TY - CHAP A1 - Kaiser, Benjamin A1 - Hartung, Marc T1 - PauSat T2 - Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions Y1 - 2020 UR - http://hdl.handle.net/10138/318450 SP - 34 EP - 35 ER - TY - CHAP 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 - http://hdl.handle.net/10138/318450 SP - 89 EP - 90 ER -