GRASP - a new search algorithm for satisfiability.

Joo P. Marques Silva, Karem A. Sakallah

Browse the full ICCAD paper archive.