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]
Abstract is missing.