Juan Zhao, Min Zhu, Xiaoyong Li 0002, Zhenyu Huang 0004, Jincai Li, Junqiang Song. Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems. Software: Practice and Experience, 51(11):2143-2167, 2021. [doi]
@article{ZhaoZLHLS21,
title = {Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems},
author = {Juan Zhao and Min Zhu and Xiaoyong Li 0002 and Zhenyu Huang 0004 and Jincai Li and Junqiang Song},
year = {2021},
doi = {10.1002/spe.2895},
url = {https://doi.org/10.1002/spe.2895},
researchr = {https://researchr.org/publication/ZhaoZLHLS21},
cites = {0},
citedby = {0},
journal = {Software: Practice and Experience},
volume = {51},
number = {11},
pages = {2143-2167},
}