Cargando…
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...
Autores principales: | Shaw, Arijit, Meel, Kuldeep S. |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7326467/ http://dx.doi.org/10.1007/978-3-030-51825-7_6 |
Ejemplares similares
-
A negative selection heuristic to predict new transcriptional targets
por: Cerulo, Luigi, et al.
Publicado: (2013) -
MRFGRO: a hybrid meta-heuristic feature selection method for screening COVID-19 using deep features
por: Dey, Arijit, et al.
Publicado: (2021) -
Composite Lamina Model Design with the Use of Heuristic Optimization
por: Balashov, Artem, et al.
Publicado: (2023) -
The Impact of Entropy and Solution Density on Selected SAT Heuristics
por: Cohen, Dor, et al.
Publicado: (2018) -
Decision heuristics in contexts integrating action selection and execution
por: Dundon, Neil M., et al.
Publicado: (2023)