Simulation and SAT-based Boolean matching for large Boolean networks. - Kuo-Hua Wang; Chung-Ming Chan; Jung-Chang Liu (DAC, 2009)