An algorithm for solving satisfiability problem based on the structural information of formulas

Zaijun ZHANG; Daoyun XU; Jincheng ZHOU

doi:10.1007/s11704-021-0318-8

PDF(318 KB)

Front. Comput. Sci. ›› 2021, Vol. 15 ›› Issue (6) : 156405. DOI: 10.1007/s11704-021-0318-8

LETTER

An algorithm for solving satisfiability problem based on the structural information of formulas

Author information +

History +

Cite this article

EndNote

Ris (Procite)

Bibtex

Download citation ▾

Zaijun ZHANG, Daoyun XU, Jincheng ZHOU. An algorithm for solving satisfiability problem based on the structural information of formulas. Front. Comput. Sci., 2021, 15(6): 156405 https://doi.org/10.1007/s11704-021-0318-8

This is a preview of subscription content, contact us for subscripton.

References

Publishing order | Descend order by publishing year | Descend order by cited within

[1]	Cook S A. The complexity of theorem-proving procedures. In: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing. 1971, 151–158 CrossRef Google scholar

[2]	Tompkins D A D, Balint A, Hoos H H. Captain Jack: new variable selection heuristics in local search for SAT. In: Proceedings of the 14th International Conference on Theory and Application of Satisfiability Testing. 2011, 302–316 CrossRef Google scholar

[3]	Cai S, Su K. Local search for Boolean Satisfiability with configuration checking and subscore. Artificial Intelligence, 2013, 204(9): 75–98 CrossRef Google scholar

[4]	Balint A, Frohlich A. Improving stochastic local search for SAT with a new probability distribution. In: Proceedings of International Conference on Theory and Applications of Satisfiability Testing. 2010, 10–15 CrossRef Google scholar

[5]	Li A, Pan Y. Structural information and dynamical complexity of networks. IEEE Transactions on Information Theory, 2016, 62(6): 3290–3339 CrossRef Google scholar