Uso de historial de LBD’s para seleccionar política de reinicio en solvers de optimización pseudo booleana basados en CDCL

Salinas Pinto, Amanda Paz2024-09-252024-09-252024-03https://repositorio.usm.cl/handle/123456789/723410.71700/dspace-memorias/1665Optimización pseudo booleanaReinicioRoundingSATUso de historial de LBD’s para seleccionar política de reinicio en solvers de optimización pseudo booleana basados en CDCLinfo:eu-repo/semantics/openAccess3560900284166