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...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | article |
| Language: | EN |
| Published: |
MDPI AG
2021
|
| Subjects: | |
| Online Access: | https://doaj.org/article/c45b89cf20d5438aaaedca97b21cfa16 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|