快速伪布尔约束求解器| IEEE Journals&Magazine | IEEE Xplore