TY - CONF A1 - Kaiser, Benjamin A1 - Hartung, Marc T1 - PauSat T2 - Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions Y1 - 2020 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/7947 UR - http://hdl.handle.net/10138/318450 SP - 34 EP - 35 ER -