CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin
Author: | Benjamin Kaiser, Robert Clausecker |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions |
First Page: | 25 |
Year of first publication: | 2021 |
Notes: | CaDiCaL_PriPro won the Special Innovation Price at the SAT Competition 2021 |
URL: | http://hdl.handle.net/10138/333647 |