@inproceedings{KaiserClausecker2021, author = {Benjamin Kaiser and Robert Clausecker}, title = {CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin}, booktitle = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, pages = {25}, url = {http://hdl.handle.net/10138/333647}, year = {2021}, language = {en} }