Design and implementation of bounded-length sequence variables (Q2011574): Difference between revisions

@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Simple linear string constraints
@@ Property / cites work: Simple linear string constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded Model-Checking with Interpolation for Regular Language Constraints
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-Based Sequence Mining Using Constraint Programming
+Normal rank
@@ Property / cites work @@
+Constraint Solving on Bounded String Variables
@@ Property / cites work: Constraint Solving on Bounded String Variables / rank @@
+Normal rank