基于满足性判定的布尔网络环求解算法

SAT-Based Algorithm for Finding Cycles in a Boolean Network