Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems (Q2948456): Difference between revisions

@@ Property / cites work @@
+Elements of a theory of simulation. II: Sequential dynamical systems.
+Normal rank
@@ Property / cites work @@
+Complexity of reachability problems for finite discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4331197
@@ Property / cites work: Q4331197 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-witnessing polynomial-time complexity and prime factorization
+Normal rank
@@ Property / cites work @@
+Q3350759
@@ Property / cites work: Q3350759 / rank @@
+Normal rank
@@ Property / cites work @@
+Dichotomy results for fixed-point existence problems for Boolean dynamical systems
+Normal rank
@@ Property / cites work @@
+Equivalence relations on finite dynamical systems
@@ Property / cites work: Equivalence relations on finite dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Dichotomy results for fixed point counting in Boolean dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4875278
@@ Property / cites work: Q4875278 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank