Thesis Uso de historial de LBD’s para seleccionar política de reinicio en solvers de optimización pseudo booleana basados en CDCL
Loading...
Date
2024-03
Authors
Journal Title
Journal ISSN
Volume Title
Program
DEPARTAMENTO DE INFORMÁTICA. INGENIERÍA CIVIL INFORMÁTICA
Campus
Campus Casa Central Valparaíso
Abstract
Description
Keywords
Optimización pseudo booleana, Reinicio, RoundingSAT
