Decomposing Global Grammar Constraints

This publication has 9 references indexed in Scilit:

• Modeling the Regular Constraint with Integer Programming
  Published by Springer Nature ,2007
• A Cost-Regular Based Hybrid Column Generation Approach
  Constraints, 2006
• Translating Pseudo-Boolean Constraints into SAT
  Journal on Satisfiability, Boolean Modeling and Computation, 2006
• Global Grammar Constraints
  Published by Springer Nature ,2006
• The Theory of Grammar Constraints
  Published by Springer Nature ,2006
• Deriving Filtering Algorithms from Constraint Checkers
  Published by Springer Nature ,2004
• Constraint Reasoning over Strings
  Published by Springer Nature ,2003
• Consistency restoration and explanations in dynamic CSPs—Application to configuration
  Artificial Intelligence, 2002
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001