GRASP-A new search algorithm for satisfiability - Marques Silva, J.P.; Sakallah, K.A. (ICCAD-96: Digest of Technical Papers, 1996)
Keywords: Algorithm design and analysis; Automatic test pattern generation; Benchmark testing; Business continuity; Circuit testing; Electronic design automation and methodology; Fault diagnosis; Laboratories; Logic testing; Pattern analysis