Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)

CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics - number of accesses to the document
Metadaten
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
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.