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