TY  - RPRT
TI  - Too much information: why CDCL solvers need to forget learned clauses
AU  - Tom Krüger
AU  - Jan-Hendrik Lorenz
AU  - Florian Wörz
PY  - 2022
DO  - 10.1371/journal.pone.0272967
UR  - https://arxiv.org/abs/2202.01030
ID  - 2202.01030
ER  -