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

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

dc.contributor.department	Departamento de Informática
dc.contributor.guia	Asín Acha, Roberto Javier
dc.coverage.spatial	Campus Casa Central Valparaíso
dc.creator	Salinas Pinto, Amanda Paz
dc.date.accessioned	2024-09-25T15:14:41Z
dc.date.available	2024-09-25T15:14:41Z
dc.date.issued	2024-03
dc.description.degree	INGENIERO CIVIL INFORMÁTICO
dc.description.program	DEPARTAMENTO DE INFORMÁTICA. INGENIERÍA CIVIL INFORMÁTICA
dc.identifier.barcode	3560900284166
dc.identifier.uri	https://repositorio.usm.cl/handle/123456789/7234
dc.identifier.uri	https://doi.org/10.71700/dspace-memorias/1665
dc.rights.accessRights	info:eu-repo/semantics/openAccess
dc.subject	Optimización pseudo booleana
dc.subject	Reinicio
dc.subject	RoundingSAT
dc.title	Uso de historial de LBD’s para seleccionar política de reinicio en solvers de optimización pseudo booleana basados en CDCL
dspace.entity.type	Tesis

Now showing 1 - 1 of 1