Paper Title
N-Detect Test Pattern Generation And Relaxation Using ZDD

Abstract