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...
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | article |
| Langue: | EN |
| Publié: |
MDPI AG
2021
|
| Sujets: | |
| Accès en ligne: | https://doaj.org/article/c45b89cf20d5438aaaedca97b21cfa16 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|