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

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22256-6_27
+Normal rank
@@ Property / OpenAlex ID @@
+W1790488621
@@ Property / OpenAlex ID: W1790488621 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5200075