CTSat: C++ Template Abstractions for Dynamic Interchangeable SAT Solver Features
Author: | Marc Hartung |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions |
First Page: | 32 |
Last Page: | 33 |
Year of first publication: | 2020 |
URL: | http://hdl.handle.net/10138/318450 |