DACyTAr
Filtrar por...
Autores
Repositorio
Institución
Idioma
Nivel de accesibilidad
Tipo MIME
Clasificación
Palabra clave
Additive chromatic number
1
Additive coloring conjecture
1
Ammonia-oxidizing bacteria (AOB)
1
Complexity
1
Coq
1
Cross-identification
1
Domination Chain
1
Dry–rewetting perturbations
1
Forbidden subgraphs
1
Formalization of Mathematics
1
Glyphosate-based herbicides (GBH)
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
Microcosm manipulative experimen
1
Sports team realignmen
1
Tabu search
1
más/menos ... 5 conjunto(s) de datos
Universidad Nacional de Rosario
4. Severín, Daniel Esteban (): Domination Chain with Weighted Parameters (Coq files)
Universidad Nacional de Rosario