GRASP: A Search Algorithm for Propositional Satisfiability (1999)

by Joaäo P. Marques-silva , Karem A. Sakallah
Venue:IEEE Transactions on Computers
Citations:373 - 36 self