@inproceedings{Hartung2020, author = {Marc Hartung}, title = {CTSat: C++ Template Abstractions for Dynamic Interchangeable SAT Solver Features}, booktitle = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, pages = {32 -- 33}, url = {http://hdl.handle.net/10138/318450}, year = {2020}, }