University of Oulu

G. Wu, Y. Lv, D. He, J. He, H. Zhou and S. Chan, "Deterministic Algorithms for Solving Boolean Polynomial Equations Based on Channel Coding Theory," in IEEE Access, vol. 8, pp. 26764-26772, 2020, doi: 10.1109/ACCESS.2020.2971393

Deterministic algorithms for solving boolean polynomial equations based on channel coding theory

Saved in:
Author: Wu, Guangfu1; Lv, Yijie1; He, Daojing1,2;
Organizations: 1Department of Information Engineering, Jiangxi University of Science and Technology, Ganzhou 330006, China
2Department of Software Engineering, East China Normal University, Shanghai 200241, China
3Centre for Wireless Communications, University of Oulu, 90014 Oulu, Finland
4Department of Electronic Engineering, City University of Hong Kong, Hong Kong 999077
Format: article
Version: published version
Access: open
Online Access: PDF Full Text (PDF, 2.3 MB)
Persistent link:
Language: English
Published: Institute of Electrical and Electronics Engineers, 2020
Publish Date: 2020-05-06


Solving the satisfiability problems of Boolean polynomial equations is still an open challenge in the fields of mathematics and computer science. In this paper, our goal is to propose a non-algebraic method for solving maximal Boolean polynomial equations (Max-PoSSo problem). By leveraging channel coding theory and dynamic programming, we propose three deterministic and robust algorithms for solving the satisfiability problems of Boolean polynomial equations. Comparisons are made among the three proposed algorithms and Genetic and Gröbner algorithms. Simulation results show that the proposed algorithms exhibit better performance in terms of the largest number of Boolean polynomials equal to 0 compared to the benchmark schemes in the literature.

see all

Series: IEEE access
ISSN: 2169-3536
ISSN-E: 2169-3536
ISSN-L: 2169-3536
Volume: 8
Pages: 26764 - 26772
Article number: 8979348
DOI: 10.1109/ACCESS.2020.2971393
Type of Publication: A1 Journal article – refereed
Field of Science: 213 Electronic, automation and communications engineering, electronics
Funding: This work was supported in part by the National Natural Science Foundation of China under Grant 11461031, in part by the Natural Science Foundation of Jiangxi Province under Grant 20181BBE58018, in part by the Science and Technology Project of Jiangxi Education Department under Grant GJJ180442, and in part by the Science and Technology Key Project of the Education Department of Jiangxi Province under Grant GJJ170492.
Copyright information: © The Authors 2020. This work is licensed under a Creative Commons Attribution 4.0 License. For more information, see