Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-016-0263-6
@@ Property / DOI: 10.1007/s10703-016-0263-6 / rank @@
-Normal rank
@@ Property / author @@
-Xiangyu Zhang
@@ Property / author: Xiangyu Zhang / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stranger
@@ Property / describes a project that uses: Stranger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PASS
@@ Property / describes a project that uses: PASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymJS
@@ Property / describes a project that uses: SymJS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HAMPI
@@ Property / describes a project that uses: HAMPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLEE
@@ Property / describes a project that uses: KLEE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JST
@@ Property / describes a project that uses: JST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+S3
@@ Property / describes a project that uses: S3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z3-str
@@ Property / describes a project that uses: Z3-str / 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/s10703-016-0263-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2565985959
@@ Property / OpenAlex ID: W2565985959 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Q4813388
@@ Property / cites work: Q4813388 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Bit-Vectors and Arrays
@@ Property / cites work: A Decision Procedure for Bit-Vectors and Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Recompression: Word Equations and Beyond
@@ Property / cites work: Recompression: Word Equations and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+The expressibility of languages and relations by word equations
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+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 @@
+Symbolic String Verification: Combining String Analysis and Size Analysis
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0263-6
@@ Property / DOI: 10.1007/S10703-016-0263-6 / rank @@
+Normal rank