An SMT solver for regular expressions and linear arithmetic over string length (Q832270): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3186328512
@@ Property / OpenAlex ID: W3186328512 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07253
@@ Property / arXiv ID: 2010.07253 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-based model counting for string constraints
+Normal rank
@@ Property / cites work @@
+String theories involving regular membership predicates: from practice to theory and back
+Normal rank
@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / 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 @@
+Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
+Normal rank
@@ Property / cites work @@
+String solving with word equations and transducers: towards a logic for analysing mutation XSS
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for solving word equations
@@ Property / cites work: An efficient algorithm for solving word equations / rank @@
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank
@@ Property / cites work @@
+Progressive Reasoning over Recursively-Defined Strings
+Normal rank