Implicit Computation of Minimum-Cost Feedback-Vertex Sets for Partial Scan and Other Applications.

Pranav Ashar, Sharad Malik

Browse the full DAC paper archive.