GRASP - A New Search Algorithm for Satisfiability (1996)

by Joso L Marques Silva
Citations:358 - 28 self

Active Bibliography

USA GRASP—A New Search Algorithm for Satisfiability – João P. Marques Silva, Karem A. Sakallah, João P. Marques Silva, Karem A. Sakallah
45 Robust search algorithms for test pattern generation – Joiio P. Marques Silva - 1997
On Computing Minimum Test Sets in Combinational Circuits – João P. Marques Silva - 1997
15 An exact solution to the minimum size test pattern problem – Paulo F. Flores, Horácio C. Neto, João P. Marques-silva - 1998
7 An Exact Solution to the Minimum-Size Test Pattern Problem – Paulo F. Flores, Horácio C. Neto, Joao P. Marques-Silva - 1998
1 SAT and ATPG: Boolean engines for formal hardware verification – Armin Biere, Wolfgang Kunz
49 Conflict analysis in search algorithms for propositional satisfiability – Joso I Marques Silva - 1996
40 New Techniques for Deterministic Test Pattern Generation – Ilker Hamzaoglu, Janak H. Patel - 1999
25 FIRE: A Fault-Independent Combinational Redundancy Identification Algorithm – Mahesh A. Iyer, Miron Abramovici - 1996
13 Conflict-Driven Clause Learning SAT Solvers – C Joao Marques-Silva, Ines Lynce, Sharad Malik - 2009
11 Redundancy Identification Using Transitive Closure – Vishwani D. Agrawal, Michael L. Bushnell, Qing Lin - 1996
Boolean Techniques in Testing of Digital Circuits – Junhao Shi - 2006
1 Branch and Bound Algorithms for Highly Constrained Integer Programs – Vasco M. Manquinho, Joao P. Marques-Silva, Jo��o P. Marques Silva, Arlindo L. Oliveira, Karem A. Sakallah - 1997
2 Satisfiability-Based Algorithms for 0-1 Integer Programming – Vasco Manquinho, Joo P. Marques Silva, Arlindo L. Oliveira, Karem A. Sakallah
26 Watermarking Techniques for Intellectual Property Protection – A. B. Kahng, J. Lach, W. H. Mangione-Smith, S. Mantik, I. L. Markov, M. Potkonjak, P. Tucker, H. Wang, G. Wolfe - 1998
14 Constraint-Based Watermarking Techniques for Design IP Protection – Andrew B. Kahng, John Lach, William. H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe - 2001
2 A SAT-Based Implication Engine – Paul Tafertshofer, Andreas Ganz, Manfred Henftling - 1997
Mining constraints for Testing and Verification – Weixin Wu, Chao Huang, Yilu Liu, Weixin Wu - 2009
30 A SAT-Based Implication Engine for Efficient ATPG, Equivalence Checking, and Optimization of Netlists – Paul Tafertshofer, Andreas Ganz, Manfred Henftling - 1997