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

Asín Acha, Roberto Javier (Profesor Guía)Salinas Pinto, Amanda Paz2024-09-252024-09-252024-03https://repositorio.usm.cl/handle/123456789/723410.71700/dspace-memorias/1665info:eu-repo/semantics/openAccessOptimización pseudo booleanaReinicioRoundingSATUso de historial de LBD’s para seleccionar política de reinicio en solvers de optimización pseudo booleana basados en CDCL3560900284166