Chain Closure: A Problem in Molecular CAD.

Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi

Browse the full DAC paper archive.