A multi-parameter analysis of hard problems on deterministic finite automata (Q2256724): Difference between revisions

@@ Property / cites work @@
+On the computational complexity of approximating distributions by probabilistic automata
+Normal rank
@@ Property / cites work @@
+Algorithmic construction of sets for             <i>k</i>             -restrictions
+Normal rank
@@ Property / cites work @@
+On the complexity of minimum inference of regular sets
+Normal rank
@@ Property / cites work @@
+Parameterized learnability of juntas
@@ Property / cites work: Parameterized learnability of juntas / rank @@
+Normal rank
@@ Property / cites work @@
+The Parameterized Complexity of Chosen Problems for Finite Automata on Trees
+Normal rank
@@ Property / cites work @@
+Approximating the minimum length of synchronizing words is hard
+Normal rank
@@ Property / cites work @@
+Q5150411
@@ Property / cites work: Q5150411 / rank @@
+Normal rank
@@ Property / cites work @@
+The tractability frontier for NFA minimization
@@ Property / cites work: The tractability frontier for NFA minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of regular languages using state merging algorithms with search
+Normal rank
@@ Property / cites work @@
+The Complexity of Satisfiability of Small Depth Circuits
+Normal rank
@@ Property / cites work @@
+Q5509690
@@ Property / cites work: Q5509690 / rank @@
+Normal rank
@@ Property / cites work @@
+The Turing way to parameterized complexity
@@ Property / cites work: The Turing way to parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Computation Models for Parameterized Complexity
@@ Property / cites work: Computation Models for Parameterized Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On product covering in 3-tier supply chain models: natural complete problems for W[3] and W[4]
+Normal rank
@@ Property / cites work @@
+Learning Minimal Separating DFA’s for Compositional Verification
+Normal rank
@@ Property / cites work @@
+COMPAS - A Computing Package for Synchronization
@@ Property / cites work: COMPAS - A Computing Package for Synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+On families of categorial grammars of bounded value, their learnability and related complexity questions
+Normal rank
@@ Property / cites work @@
+Regular Inference as Vertex Coloring
@@ Property / cites work: Regular Inference as Vertex Coloring / rank @@
+Normal rank
@@ Property / cites work @@
+On a question of Eggan
@@ Property / cites work: On a question of Eggan / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Separating Words
@@ Property / cites work: Remarks on Separating Words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / 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 @@
+A threshold of ln             <i>n</i>             for approximating set cover
+Normal rank
@@ Property / cites work @@
+Facility location problems: a parameterized view
@@ Property / cites work: Facility location problems: a parameterized view / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterizing by the number of numbers
@@ Property / cites work: Parameterizing by the number of numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Towards fully multivariate algorithmics: parameter ecology and the deconstruction of computational complexity
+Normal rank
@@ Property / cites work @@
+A Multivariate Analysis of Some DFA Problems
@@ Property / cites work: A Multivariate Analysis of Some DFA Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Exact exponential algorithms.
@@ Property / cites work: Exact exponential algorithms. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549693
@@ Property / cites work: Q3549693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating Minimum Reset Sequences
@@ Property / cites work: Approximating Minimum Reset Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+Exact DFA Identification Using SAT Solvers
@@ Property / cites work: Exact DFA Identification Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404129
@@ Property / cites work: Q3404129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3102144
@@ Property / cites work: Q3102144 / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptional and computational complexity of finite automata -- a survey
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+Cryptographic limitations on learning Boolean formulae and finite automata
+Normal rank
@@ Property / cites work @@
+Q5606985
@@ Property / cites work: Q5606985 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing finite-state machines: state identification and verification
+Normal rank
@@ Property / cites work @@
+Q4904144
@@ Property / cites work: Q4904144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266486
@@ Property / cites work: Q4266486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflections on Multivariate Algorithmics and Problem Parameterization
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for the inference of minimum size DFAs
+Normal rank
@@ Property / cites work @@
+The Complexity of Finding Reset Words in Finite Automata
+Normal rank
@@ Property / cites work @@
+The minimum consistent DFA problem cannot be approximated within any polynomial
+Normal rank
@@ Property / cites work @@
+Parameterized Complexity Results for 1-safe Petri Nets
+Normal rank
@@ Property / cites work @@
+Genetic Algorithm for Synchronization
@@ Property / cites work: Genetic Algorithm for Synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+The NP-completeness of the road coloring problem
@@ Property / cites work: The NP-completeness of the road coloring problem / rank @@
+Normal rank
@@ Property / cites work @@
+P–NP Threshold for Synchronizing Road Coloring
@@ Property / cites work: P–NP Threshold for Synchronizing Road Coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial complete problems in automata theory
@@ Property / cites work: Polynomial complete problems in automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+An Efficient Algorithm Finds Noticeable Trends and Examples Concerning the Černy Conjecture
+Normal rank
@@ Property / cites work @@
+An Algorithm for Road Coloring
@@ Property / cites work: An Algorithm for Road Coloring / rank @@
+Normal rank
@@ Property / cites work @@
+Modifying the Upper Bound on the Length of Minimal Synchronizing Word
+Normal rank
@@ Property / cites work @@
+Q5387708
@@ Property / cites work: Q5387708 / rank @@
+Normal rank
@@ Property / cites work @@
+The road coloring problem
@@ Property / cites work: The road coloring problem / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing Automata and the Černý Conjecture
@@ Property / cites work: Synchronizing Automata and the Černý Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994957
@@ Property / cites work: Q4994957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5249241
@@ Property / cites work: Q5249241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4544433
@@ Property / cites work: Q4544433 / rank @@
+Normal rank