Minimization of Visibly Pushdown Automata Using Partial Max-SAT (Q3303909): Difference between revisions

@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2582132278
@@ Property / OpenAlex ID: W2582132278 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05160
@@ Property / arXiv ID: 1701.05160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920108
@@ Property / cites work: Q2920108 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of nondeterministic tree automata
@@ Property / cites work: Reduction of nondeterministic tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Procedural Programs
@@ Property / cites work: Model Checking Procedural Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Minimization of Deterministic $$\omega $$ -Automata
+Normal rank
@@ Property / cites work @@
+Trimming Visibly Pushdown Automata
@@ Property / cites work: Trimming Visibly Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing Variants of Visibly Pushdown Automata
@@ Property / cites work: Minimizing Variants of Visibly Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Automata Can Have Smaller Quotients
@@ Property / cites work: Büchi Automata Can Have Smaller Quotients / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Minimising Deterministic Büchi Automata Precisely Using SAT Solving
+Normal rank
@@ Property / cites work @@
+Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Forest automata for verification of heap manipulation
+Normal rank
@@ Property / cites work @@
+Nested interpolants
@@ Property / cites work: Nested interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+A minimized automaton representation of reachable states
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization, Learning, and Conformance Testing of Boolean Programs
+Normal rank
@@ Property / cites work @@
+Advanced automata minimization
@@ Property / cites work: Advanced automata minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Language Equivalence on Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Experimental Evaluation of Classical Automata Constructions
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers for Approximate Validation of Streaming XML
+Normal rank