The Polytope of Context-Free Grammar Constraints

  title={The Polytope of Context-Free Grammar Constraints},
  author={Gilles Pesant and Claude-Guy Quimper and Louis-Martin Rousseau and Meinolf Sellmann},
Context-free grammar constraints enforce that a sequence o f variables forms a word in a language defined by a context-free grammar. T he constraint has received a lot of attention in the last few years as it repr esents an effective and highly expressive modeling entity. Its application has been studied in the field of Constraint Programming, Mixed Integer Programming , and SAT to solve complex decision problems such as shift scheduling. In this theoretical study we demonstrate how the… CONTINUE READING