@misc{indiciaed4c874c1cc2b,
  title = {Effectiveness of pre- and inprocessing for CDCL-based SAT solving},
  author = {Andreas Wotzlaw and Alexander van der Grinten and Ewald Speckenmeyer},
  year = {2013},
  url = {https://arxiv.org/abs/1310.4756},
  note = {Source identifier: 1310.4756}
}