TY - CONF A1 - Hartung, Marc T1 - CTSat: C++ Template Abstractions for Dynamic Interchangeable SAT Solver Features T2 - Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions Y1 - 2020 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/7944 UR - http://hdl.handle.net/10138/318450 SP - 32 EP - 33 ER -