@inproceedings{HartungSchintke2019, author = {Marc Hartung and Florian Schintke}, title = {Learned Clause Minimization in Parallel SAT Solvers}, booktitle = {Pragmatics of SAT 2019}, pages = {1 -- 11}, url = {http://www.pragmaticsofsat.org/2019/}, year = {2019}, }