CTSat: C++ Template Abstractions for Dynamic Interchangeable SAT Solver Features
Verfasserangaben: | Marc Hartung |
---|---|
Dokumentart: | Konferenzbeitrag |
Titel des übergeordneten Werkes (Englisch): | Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions |
Erste Seite: | 32 |
Letzte Seite: | 33 |
Jahr der Erstveröffentlichung: | 2020 |
URL: | http://hdl.handle.net/10138/318450 |