Simulation and SAT-based Boolean matching for large Boolean networks.

Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu

Browse the full DAC paper archive.