Llwytho...
Designing New Phase Selection Heuristics
CDCL-based SAT solvers have transformed the field of automated reasoning owing to their demonstrated efficiency at handling problems arising from diverse domains. The success of CDCL solvers is owed to the design of clever heuristics that enable the tight coupling of different components. One of the...
Wedi'i Gadw mewn:
| Cyhoeddwyd yn: | Theory and Applications of Satisfiability Testing – SAT 2020 |
|---|---|
| Prif Awduron: | , |
| Fformat: | Artigo |
| Iaith: | Inglês |
| Cyhoeddwyd: |
2020
|
| Pynciau: | |
| Mynediad Ar-lein: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7326467/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51825-7_6 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|