GRASP: A New Search Algorithm for Satisfiability”, (1999)

by J P M Silva, K A Sakallah
Venue:IEEE Trans. On Computers,