@misc{indiciaeca1dfbc25a18,
  title = {Learned Clause Minimization in Parallel SAT Solvers},
  author = {Marc Hartung and Florian Schintke},
  year = {2019},
  url = {https://arxiv.org/abs/1908.01624},
  note = {Source identifier: 1908.01624}
}