Dashed strings for string constraint solving (Q2046015): Difference between revisions

@@ Property / describes a project that uses @@
+ExpoSE
@@ Property / describes a project that uses: ExpoSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z3-str
@@ Property / describes a project that uses: Z3-str / 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 @@
+Stranger
@@ Property / describes a project that uses: Stranger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Norn
@@ Property / describes a project that uses: Norn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WAPTEC
@@ Property / describes a project that uses: WAPTEC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+StrSolve
@@ Property / describes a project that uses: StrSolve / 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 @@
+Z3str3
@@ Property / describes a project that uses: Z3str3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHIP
@@ Property / describes a project that uses: CHIP / 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 @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gecode
@@ Property / describes a project that uses: Gecode / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+StringFuzz
@@ Property / describes a project that uses: StringFuzz / 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.artint.2020.103368
+Normal rank
@@ Property / OpenAlex ID @@
+W3083042812
@@ Property / OpenAlex ID: W3083042812 / rank @@
+Normal rank
@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Unbounded Model-Checking with Interpolation for Regular Language Constraints
+Normal rank
@@ Property / cites work @@
+Constraint programming in structural bioinformatics
+Normal rank
@@ Property / cites work @@
+Design and implementation of bounded-length sequence variables
+Normal rank
@@ Property / cites work @@
+MiniZinc with strings
@@ Property / cites work: MiniZinc with strings / rank @@
+Normal rank
@@ Property / cites work @@
+Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
+Normal rank
@@ Property / cites work @@
+Q4475657
@@ Property / cites work: Q4475657 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Principles and practice of constraint programming. 20th international conference, CP 2014, Lyon, France, September 8--12, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Model counting for recursively-defined strings
@@ Property / cites work: Model counting for recursively-defined strings / rank @@
+Normal rank
@@ Property / cites work @@
+Reference Abstract Domains and Applications to String Analysis
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Progressive Reasoning over Recursively-Defined Strings
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2046015