Convierta un grafo dirigido fuertemente conectado en un problema 3-SAT en blanco y negro mediante el modelo Balatonboglár
Autores: Kusper, Gábor; Biró, Csaba
Idioma: Inglés
Editor: MDPI
Año: 2020
Acceso abierto
Artículo científico
2020
Convierta un grafo dirigido fuertemente conectado en un problema 3-SAT en blanco y negro mediante el modelo Balatonboglár
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Software
Palabras clave
Problema SAT
Grafos de comunicación
Modelos
Teorema
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 20
Citaciones: Sin citaciones
En este trabajo presentamos dos nuevos modelos, el modelo débil y el modelo Balatonboglár de grafos de comunicación.
Descripción
En este trabajo presentamos dos nuevos modelos, el modelo débil y el modelo Balatonboglár de grafos de comunicación.