- idUS
- Listar por autor
Listar por autor "González Blanco, Natividad"
Mostrando ítems 1-3 de 3
-
Artículo
Benders decomposition for network design covering problems
Bucarey, Víctor; Fortz, Bernard; González Blanco, Natividad; Labbé, Martine; Mesa López-Colmenar, Juan Antonio (Publisher Elsevier Ltd, 2022)We consider two covering variants of the network design problem. We are given a set of origin/destination pairs, called ...
-
Tesis Doctoral
Exact and metaheuristic approaches for network desing problems
González Blanco, Natividad (2023-01-25)As a consequence of globalization, interactions among countries, companies, people, etc, have been increased during recent ...
-
Trabajo Fin de Máster
Verificación formal de la lógica de Hoare en Isabelle/HOL
González Blanco, Natividad (2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...