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.advisor | Asín Acha, Roberto Javier (Profesor Guía) | |
| dc.contributor.department | Universidad Técnica Federico Santa María. Departamento de Informática | |
| 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 | 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 |
Files
Original bundle
1 - 1 of 1
