Aarti Gupta Malay K. Ganai Chao Wang SAT-Based Verification Methods and Applications in Hardware Verification. 108-143 2006 conf/sfm/2006 SFM http://dx.doi.org/10.1007/11757283_5 db/conf/sfm/sfm2006.html#GuptaGW06