CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Benjamin Kaiser, Robert Clausecker
Document Type:In Proceedings
Parent Title (English):SAT Competition 2021: Solver Descriptions
Year of first publication:2021
Note:
CaDiCaL_PriPro won the Special Innovation Price at the SAT Competition 2021