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

Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracking approach, this kind of solver learns the reason behind occurring conflicts in the form of additional clauses. However...

Descripción completa

Detalles Bibliográficos
Autores principales: Krüger, Tom, Lorenz, Jan-Hendrik, Wörz, Florian
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Public Library of Science 2022
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9417043/
https://www.ncbi.nlm.nih.gov/pubmed/36018865
http://dx.doi.org/10.1371/journal.pone.0272967

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9417043/
https://www.ncbi.nlm.nih.gov/pubmed/36018865
http://dx.doi.org/10.1371/journal.pone.0272967

Ejemplares similares