@inproceedings{KaiserHartung2020, author = {Benjamin Kaiser and Marc Hartung}, title = {PauSat}, booktitle = {Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions}, pages = {34 -- 35}, url = {http://hdl.handle.net/10138/318450}, year = {2020}, }