Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985): Difference between revisions

@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q5111427
@@ Property / cites work: Q5111427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiability of word equations: decidable and undecidable theories
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
+Normal rank
@@ Property / cites work @@
+Automata-based model counting for string constraints
+Normal rank
@@ Property / cites work @@
+String solving with word equations and transducers: towards a logic for analysing mutation XSS
+Normal rank
@@ Property / cites work @@
+Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
+Normal rank
@@ Property / cites work @@
+String theories involving regular membership predicates: from practice to theory and back
+Normal rank
@@ Property / cites work @@
+An SMT solver for regular expressions and linear arithmetic over string length
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and unary languages
@@ Property / cites work: Finite automata and unary languages / rank @@
+Normal rank
@@ Property / cites work @@
+Chrobak Normal Form Revisited, with Applications
@@ Property / cites work: Chrobak Normal Form Revisited, with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on Fooling Sets as Effective Tools for Lower Bounds on Nondeterministic Complexity
+Normal rank
@@ Property / cites work @@
+Q4427903
@@ Property / cites work: Q4427903 / rank @@
+Normal rank