Using simulation and satisfiability to compute flexibilities in Boolean networks (2006)

by A Mishchenko, J S Zhang, S Sinha, J R Burch, R Brayton, M Chrzanowska-Jeske
Venue:IEEE TCAD