GRASP: a search algorithm for propositional satisfiability - Marques-Silva, J.P.; Sakallah, K.A. (IEEE transactions on computers, 1999)
Keywords: Algorithm design and analysis; Applied sciences; Artificial intelligence; Augmentation; Automatic test pattern generation; Benchmarks; Circuit testing; Computer science; control theory; systems; Electronic design automation and methodology; Exact sciences and technology; Expert systems; Extreme values; Fault diagnosis; Iterative algorithms; Logic programming; Logic testing; Recording; Search algorithms; Searching; Backtracking; Software tool; Experimental result; Database; Bench mark; Search tree; Artificial intelligence; Conflict analysis; Search algorithm