GRASP:命题可满足性的搜索算法| IEEE Journals&Magazine | IEEE Xplore