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...
Guardado en:
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
-
Snow Leopard Optimization Algorithm: A New Nature-Based Optimization Algorithm for Solving Optimization Problems
por: Petr Coufal, et al.
Publicado: (2021) -
Forward Kinematics of Delta Manipulator by Novel Hybrid Neural Network
por: Mahesh A. Makwana, et al.
Publicado: (2021) -
Finding Solutions to the Integer Case Constraint Satisfiability Problem Using Grover’s Algorithm
por: Gayathree M. Vinod, et al.
Publicado: (2021) -
Using Shapley Values and Genetic Algorithms to Solve Multiobjective Optimization Problems
por: Hsien-Chung Wu
Publicado: (2021) -
A parallel Tseng’s splitting method for solving common variational inclusion applied to signal recovery problems
por: Raweerote Suparatulatorn, et al.
Publicado: (2021)