Too much information: Why CDCL solvers need to forget learned clauses

• Tom Krüger ,

  Contributed equally to this work with: Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz

  Roles Conceptualization, Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: tom.krueger@uni-ulm.de (TK), florian.woerz@uni-ulm.de (FW)

  Affiliation Institute of Theoretical Computer Science, Universität Ulm, Ulm, Germany

  https://orcid.org/0000-0002-1161-808X

  ⨯
• Jan-Hendrik Lorenz ,

  Contributed equally to this work with: Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz

  Roles Conceptualization, Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing

  Affiliation Institute of Theoretical Computer Science, Universität Ulm, Ulm, Germany

  ⨯
• Florian Wörz

  Contributed equally to this work with: Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz

  Roles Conceptualization, Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: tom.krueger@uni-ulm.de (TK), florian.woerz@uni-ulm.de (FW)

  Affiliation Institute of Theoretical Computer Science, Universität Ulm, Ulm, Germany

  https://orcid.org/0000-0003-2463-8167

  ⨯