A carregar...
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...
Na minha lista:
| Publicado no: | Theory and Applications of Satisfiability Testing – SAT 2020 |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7326467/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51825-7_6 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|