GRASP-A new search algorithm for satisfiability | IEEE Conference Publication | IEEE Xplore