"Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 25, Issue 5, pp. 743-755, May 2006