A Regular Language Membership Constraint for Finite Sequences of Variables

This publication has 7 references indexed in Scilit:

• Constraint Reasoning over Strings
  Published by Springer Nature ,2003
• A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints
  Annals of Operations Research, 2003
• Consistency restoration and explanations in dynamic CSPs—Application to configuration
  Artificial Intelligence, 2002
• A Filtering Algorithm for the Stretch Constraint
  Published by Springer Nature ,2001
• From regular expressions to DFA's using compressed NFA's
  Theoretical Computer Science, 1997
• Applications in constraint logic programming with strings
  Published by Springer Nature ,1994
• An introduction to Prolog III
  Communications of the ACM, 1990