DACyTAr
Filtrar por...
Repositorio
Institución
Idioma
Nivel de accesibilidad
Tipo MIME
Clasificación
Palabra clave
Additive chromatic number
1
Additive coloring conjecture
1
Complexity
1
Coq
1
Cross-identification
1
Domination Chain
1
Forbidden subgraphs
1
Formalization of Mathematics
1
Graph algorithms
1
Graph partitioning
1
Graph theory
1
Integer Programming
1
Integer programming models
1
Lucky labeling
1
Mathematics of computing
1
Maximum Weighted Stable Set Problem
1
Sports team realignmen
1
Tabu search
1
más/menos ... 4 conjunto(s) de datos
Universidad Nacional de Rosario
3. Severín, Daniel Esteban (): Domination Chain with Weighted Parameters (Coq files)
Universidad Nacional de Rosario