PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems

Open Webpage

Juan Zhao, Junqiang Song, Min Zhu, Jincai Li, Zhenyu Huang, Xiaoyong Li, Xiaoli Ren

Published: 2018, Last Modified: 02 Mar 2026ICPP 2018EveryoneRevisionsBibTeXCC BY-SA 4.0