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

@@ Property / describes a project that uses @@
+StringFuzz
@@ Property / describes a project that uses: StringFuzz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaScript
@@ Property / describes a project that uses: JavaScript / 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 @@
+Z3str3
@@ Property / describes a project that uses: Z3str3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Saner
@@ Property / describes a project that uses: Saner / 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 @@
+CVC4
@@ Property / describes a project that uses: CVC4 / 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.1016/j.tcs.2022.12.009
+Normal rank
@@ Property / OpenAlex ID @@
+W4311421541
@@ Property / OpenAlex ID: W4311421541 / rank @@
+Normal rank