201 search results - page 41 / 41 » Reducing Test Application Time Through Test Data Mutation En... |
ICCAD
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...