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

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

Browse the full ICPP paper archive.