Experimental Study of the Shortest Reset Word of Random Automata (Q5200075): Difference between revisions

@@ Property / cites work @@
+Slowly Synchronizing Automata and Digraphs
@@ Property / cites work: Slowly Synchronizing Automata and Digraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing automata with a letter of deficiency 2
+Normal rank
@@ Property / cites work @@
+Approximating the minimum length of synchronizing words is hard
+Normal rank
@@ Property / cites work @@
+Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Reset Sequences for Monotonic Automata
@@ Property / cites work: Reset Sequences for Monotonic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The range order of a product of i transformations from a finite full transformation semigroup
+Normal rank
@@ Property / cites work @@
+SAT local search algorithms: Worst-case study
@@ Property / cites work: SAT local search algorithms: Worst-case study / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Finding Reset Words in Finite Automata
+Normal rank
@@ Property / cites work @@
+On two Combinatorial Problems Arising from Automata Theory
+Normal rank
@@ Property / cites work @@
+Genetic Algorithm for Synchronization
@@ Property / cites work: Genetic Algorithm for Synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Q5414550
@@ Property / cites work: Q5414550 / rank @@
+Normal rank