Integrating symbolic techniques in ATPG-based sequential logic optimization | Publicación