GRASP-A new search algorithm for satisfiability

PROCEEDINGS ARTICLE published in Proceedings of International Conference on Computer Aided Design

Authors: J.P. Marques Silva | K.A. Sakallah