@misc{indiciae45899b061f67,
  title = {Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship},
  author = {Jerry Lonlac and Engelbert Mephu Nguifo},
  year = {2017},
  url = {https://arxiv.org/abs/1705.10898},
  note = {Source identifier: 1705.10898}
}