GRASP - A New Search Algorithm for Satisfiability (1996)

Cached

Download Links

by Joso L Marques Silva
Citations:287 - 26 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
36 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
7 An Exact Solution to the Minimum-Size Test Pattern Problem – Paulo F. Flores, Horácio C. Neto, Joao P. Marques-Silva - 1998
13 An Exact Solution to the Minimum Size Test Pattern Problem – Paulo F. Flores, Horácio C. Neto, João P. Marques-Silva - 2001
1 SAT and ATPG: Boolean engines for formal hardware verification – Armin Biere, Wolfgang Kunz
45 Conflict analysis in search algorithms for propositional satisfiability – Joso I Marques Silva - 1996
38 New Techniques for Deterministic Test Pattern Generation – Ilker Hamzaoglu, Janak H. Patel - 1999
22 FIRE: A Fault-Independent Combinational Redundancy Identification Algorithm – Mahesh A. Iyer, Miron Abramovici - 1996
10 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
11 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
21 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
2 A SAT-Based Implication Engine – Paul Tafertshofer, Andreas Ganz, Manfred Henftling - 1997
29 A SAT-Based Implication Engine for Efficient ATPG, Equivalence Checking, and Optimization of Netlists – Paul Tafertshofer, Andreas Ganz, Manfred Henftling - 1997
15 Prime implicant computation using satisfiability algorithms – Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira - 1997
9 Efficient Search Techniques for the Inference of Minimum Size Finite Automata – Arlindo L. Oliveira, Joao P. Marques-Silva - 1998