Abhijit Jas Yi-Shing Chang Sreejit Chakravarty An Approach to Minimizing Functional Constraints. 215-226 2006 conf/dft/2006 DFT http://doi.ieeecomputersociety.org/10.1109/DFT.2006.13 db/conf/dft/dft2006.html#JasCC06