The weighted Grammar constraint

  title={The weighted Grammar constraint},
  author={George Katsirelos and Nina Narodytska and Toby Walsh},
  journal={Annals OR},
We introduce the WEIGHTEDGRAMMAR constraint and propose propagation algorithms based on the CYK parser and the Earley parser. We show that the traces of these algorithms can be encoded as a weighted negation normal form (WNNF), a generalization of NNF that allows nodes to carry weights. Based on this connection, we prove the correctness and complexity of these algorithms. Specifically, these algorithms enforce domain consistency on the WEIGHTEDGRAMMAR constraint in time O(n3). Further, we… CONTINUE READING

Similar Papers

Loading similar papers…