A New Method for 3-Satisfiability Problem Solving Space Structure on Structural Entropy

Analyzing the solution space structure and evolution of 3-satisfiability (3-SAT) problem is an important way to study the difficulty of the solving satisfiability (SAT) problem. However, there is no unified analysis model for the spatial structure and evolution of solutions under different constrain...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Chen Liang, Xiaofeng Wang, Lei Lu, Pengfei Niu
Formato: article
Lenguaje:EN
Publicado: MDPI AG 2021
Materias:
Acceso en línea:https://doaj.org/article/c45b89cf20d5438aaaedca97b21cfa16
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares