机译:O(1.787 {sup} n)时间算法,用于在由AND / OR节点组成的布尔网络中检测单例吸引子
机译:利用SAT算法在布尔网络中检测单例吸引子
机译:平面和非平面AND / OR布尔网络中单例吸引子的检测算法
机译:一种(1.787〜n) - 在由/或节点组成的布尔网络中检测单例吸引子的-time算法
机译:无线传感器网络的具有覆盖回收和替换策略的覆盖感知传感器节点调度算法。
机译:布尔网络中单例吸引子控制的算法和复杂度分析
机译:在由AND / OR节点组成的布尔网络中检测单例吸引子的改进算法