Chen Liang, Xiaofeng Wang, Lei Lu, Pengfei Niu. A New Method for 3-Satisfiability Problem Solving Space Structure on Structural Entropy. Symmetry, 13(11):2005, 2021. [doi]
@article{LiangWLN21,
title = {A New Method for 3-Satisfiability Problem Solving Space Structure on Structural Entropy},
author = {Chen Liang and Xiaofeng Wang and Lei Lu and Pengfei Niu},
year = {2021},
doi = {10.3390/sym13112005},
url = {https://doi.org/10.3390/sym13112005},
researchr = {https://researchr.org/publication/LiangWLN21},
cites = {0},
citedby = {0},
journal = {Symmetry},
volume = {13},
number = {11},
pages = {2005},
}