GRASP - A New Search Algorithm for Satisfiability (1996)

by Joso L Marques Silva
Citations:429 - 31 self

Active Bibliography

GRASP—A New Search Algorithm for Satisfiability – João P. Marques, Silva Karem, A. Sakallah
USA GRASP—A New Search Algorithm for Satisfiability – João P. Marques Silva, Karem A. Sakallah, João P. Marques Silva, Karem A. Sakallah
SEARCH ALGORITHMS FOR SATISFIABILITY PROBLEMS – Chair Karem A. Sakallah, João Paulo, Marques Silva, João Paulo, Marques Silva - 1995
49 Robust search algorithms for test pattern generation – J Marques-Silva, K Sakallah - 1997
1016 Constraint Networks – Rina Dechter - 1992
770 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
707 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
830 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
374 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994