...
机译:利用SAT算法在布尔网络中检测单例吸引子
Bioinformatics Center, Institute for Chemical Research, Kyoto University, Uji-shi, 611-0011 Japan;
Bioinformatics Center, Institute for Chemical Research, Kyoto University, Uji-shi, 611-0011 Japan;
Boolean network; singleton attractor; fixed point; SAT; NP-hard;
机译:O(1.787 {sup} n)时间算法,用于在由AND / OR节点组成的布尔网络中检测单例吸引子
机译:平面和非平面AND / OR布尔网络中单例吸引子的检测算法
机译:平面和非平面AND / OR布尔网络中单例吸引子的检测算法
机译:在由AND / OR节点组成的布尔网络中检测单例吸引子的改进算法
机译:学习SAT和MINSAT,以及量化SAT和MINSAT的算法。
机译:布尔网络中单例吸引子控制的算法和复杂度分析
机译:在由AND / OR节点组成的布尔网络中检测单例吸引子的改进算法