150
click to vote
ICCAD
1999
IEEE
15 years 7 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 ...