@misc{indiciae70a9941d0d1c,
  title = {Too much information: why CDCL solvers need to forget learned clauses},
  author = {Tom Krüger and Jan-Hendrik Lorenz and Florian Wörz},
  year = {2022},
  doi = {10.1371/journal.pone.0272967},
  url = {https://arxiv.org/abs/2202.01030},
  note = {Source identifier: 2202.01030}
}