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

@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:526767