Approximation Techniques in Symbolic Circuit Analysis | Publicación