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
Departament
Campus
Campus Casa Central Valparaíso
Abstract
Description
Keywords
Optimización pseudo booleana, Reinicio, RoundingSAT
Política de Privacidad 
