Concepedia

Improving BDD-based attractor detection for synchronous Boolean networks

Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera

Science China Information Sciences · 2016 · 19 citations · 22 references

Open access

Concepts

ComputingComputer EngineeringComputer ScienceComputer NetworksBoolean AlgebraBoolean Network ModelsBoolean OperationsCircuit ComplexityDigital Logic DesignFault DetectionBoolean Algebra In Circuit DesignBoolean Circuit DesignLogic Gate NetworksState Transition GraphsSynchronous Circuit Design

References

22

Metabolic stability and epigenesis in randomly constructed genetic nets

Stuart Kauffman · Journal of Theoretical Biology · 1969 · 4.9K citations

Life Sciences, Biology, Systems Biology +10

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

Homeostasis and Differentiation in Random Genetic Control Networks

Stuart Kauffman · Nature · 1969 · 721 citations

Life Sciences, Biology, Genetics +11

Representation of Switching Circuits by Binary-Decision Programs

C. Y. Lee · Bell System Technical Journal · 1959 · 695 citations

Engineering, Computer Engineering, Computer Science +16

Improving the variable ordering of OBDDs is NP-complete

Beate Bollig, Ingo Wegener · IEEE Transactions on Computers · 1996 · 552 citations

Computing, Computer Science, Mathematics +17