Sakallah, "GRASP---A New Search Algorithm for Satisfiability (1996)

by J P M Silva, K A
Venue:in Proceedings of the International Conference on Computer-Aided Design