Computing Minimum Feedback Vertex Sets by Contraction Operations and its Applications on CAD.

Hen-Ming Lin, Jing-Yang Jou

Browse the full ICCD paper archive.