Alessandro Cimatti Marco Roveri Stefano Tonetta 1737-1750 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 10 http://dx.doi.org/10.1109/TCAD.2008.2003303 db/journals/tcad/tcad27.html#CimattiRT08