The theory of grammar constraints (2006)
| Venue: | In: 12th Int. Conf. on Principles and Practice of Constraint Programming (CP2006), LNCS 4204 |
| Citations: | 13 - 2 self |
BibTeX
@INPROCEEDINGS{Sellmann06thetheory,
author = {Meinolf Sellmann},
title = {The theory of grammar constraints},
booktitle = {In: 12th Int. Conf. on Principles and Practice of Constraint Programming (CP2006), LNCS 4204},
year = {2006},
pages = {530--544},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. By introducing the Regular Membership Constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. The paper presented here is highly motivated by this work, taking the obvious next step, namely to investigate constraints based on grammars higher up in the Chomsky hierarchy. We devise an arc-consistency algorithm for context-free grammars, investigate when logic combinations of grammar constraints are tractable, show how to exploit non-constant size grammars and reorderings of languages, and study where the boundaries run between regular, context-free, and context-sensitive grammar filtering.
Citations
| 3377 | Introduction to Automata Theory, Languages, and Computation - Hopcroft, Motwani, et al. - 2003 |
| 255 | Three models for the description of language - Chomsky - 1956 |
| 66 | A regular language membership constraint for finite sequences of variables - Pesant - 2004 |
| 31 | T.: Deriving filtering algorithms from constraint checkers - Beldiceanu, Carlsson, et al. - 2004 |
| 28 | A dynamic programming approach for consistency and propagation for knapsack constraints - Trick - 2001 |
| 17 | Local consistency on conjunctions of constraints - Bessière, Régin - 1998 |
| 14 | Arc-consistency filtering algorithms for logical combinations of constraints - Lhomme - 2004 |
| 13 | HIBISCUS: A constraint programming application to staff scheduling in health care - Bourdais, Galinier, et al. |
| 2 | On Global Warming: Flow Based Soft Global Constraint - Rousseau, Pesant, et al. |
