Instance Assignment Coverage Feature for Operation Control of SAT Solver
Abstract The Conflict-Driven Clause Learning (CDCL) framework integrates multiple heuristic components to solve Boolean satisfiability (SAT) problems through synergistic cooperation. Understanding the characteristics of these components in the underlying architecture provides crucial insights for de...
Guardat en:
| Autors principals: | , , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Springer
2025-03-01
|
| Col·lecció: | International Journal of Computational Intelligence Systems |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/s44196-025-00798-4 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|